Oliver Duis 5182f3e513 New layout preferences to maximize editor control space ...

see issue 759

2011-06-10 20:38:42 +02:00

4.9 KiB

Raw Blame History

View Raw