Clean up setters and getters in Config

2022-11-10 09:29:00 +01:00
parent e2f3a44d96
commit 15fec91358
11 changed files with 220 additions and 206 deletions
@@ -14,7 +14,6 @@ geometry = 1200, 650
 preferences = 700, 615
 projcols = 200, 60, 140
 mainpane = 300, 800
-docpane = 400, 400
 viewpane = 500, 150
 outlinepane = 500, 150
 fullscreen = False