From 9615236ae037f8e6edc2c99666dc1e54cb5baef8 Mon Sep 17 00:00:00 2001 From: Tommy Date: Fri, 17 Jun 2022 02:03:36 +1200 Subject: [PATCH] Fix low-res editor themes. Fixes #5620. --- data/themes/editor.cfg | 41 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) diff --git a/data/themes/editor.cfg b/data/themes/editor.cfg index e1bacf0895a..906b76c2dbe 100644 --- 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]