Ansgar Becker 55ed9ae738 Make grid export dialog resizable, store/restore its width and height, and resize contained group boxes proportional to the window. See #19.

2018-11-13 19:45:30 +01:00

8.5 KiB

Raw Blame History

View Raw