Fix low-res editor themes.

Fixes wesnoth#5620.
Wedge009 · Jun 16, 2022 · 9615236 · 9615236
1 parent 91fd53a
commit 9615236
Showing 1 changed file with 41 additions and 0 deletions.
diff --git a/data/themes/editor.cfg b/data/themes/editor.cfg
@@ -854,6 +854,19 @@
 
         {MINIMAP_THEME_600}
 
+        [change]
+            id=screen
+            rect="0,0,1024,600"
+        [/change]
+        [change]
+            id=top-right-panel
+            rect="843,0,1024,600"
+        [/change]
+        [change]
+            id=main-map
+            rect="0,+7,+843,600"
+        [/change]
+
         [change]
             id=tools-panel
             image=themes/editor/classic/tools-800.png
@@ -976,6 +989,16 @@
             id=upscroll-button-editor
             rect="+7,=+0,+25,+25"
         [/change]
+
+        [change]
+            id=palette-panel
+            rect="=,+0,=,600"
+        [/change]
+        [change]
+            id=palette
+            rect="=+15,=+5,+155,600"
+        [/change]
+
     [/partialresolution]
 
     ########################################## 800x600 ###########################################
@@ -985,11 +1008,29 @@
         width=800
         height=600
 
+        [change]
+            id=screen
+            rect="0,0,800,600"
+        [/change]
+        [change]
+            id=top-right-panel
+            rect="619,0,800,600"
+        [/change]
         [change]
             id=main-map
             rect="0,+7,+619,600"
         [/change]
 
+        [change]
+            id=toggle_grid_button_editor
+            rect="586,=,+30,+30"
+        [/change]
+
+        [change]
+            id=palette-top-panel
+            rect="619,+5,800,+45"
+        [/change]
+
         [remove]
             id=top_button_file3
         [/remove]