From 416c0f2734c2dbc2a935827e96d9a5d1d619167d Mon Sep 17 00:00:00 2001
From: josteph <josteph@fastmail.com>
Date: Wed, 16 Oct 2019 05:10:32 +0000
Subject: [PATCH] Editor: Fix palette size

Issue #2618.
---
 data/themes/editor.cfg | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/data/themes/editor.cfg b/data/themes/editor.cfg
index e6f7e7d91bd1..205d436cf630 100644
--- 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]