fixed the grey background in the right pane...

...so that it is the "correct" size for the buttons
2011-03-11 17:08:23 +00:00 · 2011-03-11 17:08:23 +00:00 · 131dbbb5a1
commit 131dbbb5a1
parent a4fbd98fd8
2 changed files with 1 additions and 1 deletions
--- a/data/core/images/themes/rightside-editor.png
+++ b/data/core/images/themes/rightside-editor.png
--- a/data/themes/editor.cfg
+++ b/data/themes/editor.cfg
@ -96,7 +96,7 @@
        [panel]
            id=top-right-panel
            image=themes/rightside-editor.png
-            rect="+0,=+0,1024,+284"
+            rect="+0,=+0,1024,+257"
            xanchor=right
            yanchor=fixed
        [/panel]