Editor: Fix palette size

Issue #2618.
2019-10-16 05:10:32 +00:00 · 2019-10-16 05:10:32 +00:00 · 416c0f2734
commit 416c0f2734
parent 1f4e185481
1 changed files with 1 additions and 1 deletions
--- 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]