Removed the already commented brush_bar entry.

2013-04-01 15:03:38 +02:00 · 2013-04-01 15:03:38 +02:00 · c9eabcdadc
commit c9eabcdadc
parent 7aa8807ba6
1 changed files with 0 additions and 8 deletions
--- a/data/themes/editor.cfg
+++ b/data/themes/editor.cfg
@ -433,14 +433,6 @@
            yanchor=fixed
        [/menu]

-        # [brush_bar]
-        #     id=brush-bar
-        #     ref=bottom-right-panel
-        #     rect="=+10,=+0,+250,+30"
-        #     xanchor=right
-        #     yanchor=top
-        # [/brush_bar]
-
        [menu]
            id=editor_brush_1
            #title= _ "Brush"