Fixed wrong named editor hotkey for side manipulation.

2012-07-18 19:43:47 +00:00 · 2012-07-18 19:43:47 +00:00 · a71e500f67
commit a71e500f67
parent 9e2ca63640
1 changed files with 3 additions and 1 deletions
--- a/data/themes/editor.cfg
+++ b/data/themes/editor.cfg
@ -178,7 +178,9 @@
            id=menu-editor-side
            title= _ "Side"
            image=lite_small
-            items=editor-switch-side,editor-side-new #,editor-side-modify
+            font_size={DEFAULT_EDITOR_FONT_SMALL}
+            #items=editor-side-new #,editor-side-modify
+            items=editor-side-switch,editor-side-new #,editor-side-modify
            rect="+2,=,+55,="
            xanchor=fixed
            yanchor=fixed