Editor: Made the toogle grid button a checkbox one.

2013-03-31 13:26:40 +02:00 · 2013-03-31 13:26:40 +02:00 · 8ada4fb582
commit 8ada4fb582
parent 0c46e0bc5a
1 changed files with 1 additions and 0 deletions
--- a/data/themes/editor.cfg
+++ b/data/themes/editor.cfg
@ -431,6 +431,7 @@
        [/menu]
        [menu]
            id=zoom_default_button_editor
+            type=checkbox
            image=zoom_default_button_editor
            items=zoomdefault
            auto_tooltip=yes