Editor: Fix palette size

Issue #2618.
wesnoth · Oct 16, 2019 · 416c0f2 · 416c0f2
1 parent 1f4e185
commit 416c0f2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/data/themes/editor.cfg b/data/themes/editor.cfg
@@ -782,7 +782,7 @@
         [palette]
             id=palette
             ref=palette-top-panel
-            rect="=+15,=+5,+250,768"
+            rect="=+15,=+5,+155,768"
             xanchor=right
             yanchor=top
         [/palette]