diff options
| author | David Robillard <d@drobilla.net> | 2011-03-16 05:09:19 +0000 |
|---|---|---|
| committer | David Robillard <d@drobilla.net> | 2011-03-16 05:09:19 +0000 |
| commit | 11017eeacd3277773707d53093725c01f2301772 (patch) | |
| tree | 963ca42784ab8f2c053f7f9730b12b1fb7c74663 /src/gui/ingen_gui.glade | |
| parent | b3786217c82ff2f12a73595ecc375916d6e9d169 (diff) | |
| download | ingen-11017eeacd3277773707d53093725c01f2301772.tar.gz ingen-11017eeacd3277773707d53093725c01f2301772.tar.bz2 ingen-11017eeacd3277773707d53093725c01f2301772.zip | |
Font-based sizing (implement ticket #374).
git-svn-id: http://svn.drobilla.net/lad/trunk/ingen@3099 a436a847-0d15-0410-975c-d299462d15a1
Diffstat (limited to 'src/gui/ingen_gui.glade')
| -rw-r--r-- | src/gui/ingen_gui.glade | 59 |
1 files changed, 49 insertions, 10 deletions
diff --git a/src/gui/ingen_gui.glade b/src/gui/ingen_gui.glade index 10dd355c..15e38061 100644 --- a/src/gui/ingen_gui.glade +++ b/src/gui/ingen_gui.glade @@ -266,16 +266,6 @@ <child> <widget class="GtkMenu" id="patch_patch_menu_menu"> <child> - <widget class="GtkImageMenuItem" id="patch_fullscreen_menuitem"> - <property name="label">gtk-fullscreen</property> - <property name="visible">True</property> - <property name="use_underline">True</property> - <property name="use_stock">True</property> - <signal name="activate" handler="patch_fullscreen_menuitem"/> - <accelerator key="F11" signal="activate"/> - </widget> - </child> - <child> <widget class="GtkCheckMenuItem" id="patch_human_names_menuitem"> <property name="visible">True</property> <property name="tooltip" translatable="yes">Show human readable names instead of identifiers</property> @@ -304,6 +294,55 @@ <accelerator key="b" signal="activate" modifiers="GDK_CONTROL_MASK"/> </widget> </child> + <child> + <widget class="GtkSeparatorMenuItem" id="<separator>"> + <property name="visible">True</property> + </widget> + </child> + <child> + <widget class="GtkImageMenuItem" id="patch_zoom_in_menuitem"> + <property name="label">gtk-zoom-in</property> + <property name="visible">True</property> + <property name="tooltip" translatable="yes">Increase font size</property> + <property name="use_underline">True</property> + <property name="use_stock">True</property> + <accelerator key="equal" signal="activate" modifiers="GDK_CONTROL_MASK"/> + </widget> + </child> + <child> + <widget class="GtkImageMenuItem" id="patch_zoom_out_menuitem"> + <property name="label">gtk-zoom-out</property> + <property name="visible">True</property> + <property name="tooltip" translatable="yes">Decrease font size</property> + <property name="use_underline">True</property> + <property name="use_stock">True</property> + <accelerator key="minus" signal="activate" modifiers="GDK_CONTROL_MASK"/> + </widget> + </child> + <child> + <widget class="GtkImageMenuItem" id="patch_zoom_normal_menuitem"> + <property name="label">gtk-zoom-100</property> + <property name="visible">True</property> + <property name="use_underline">True</property> + <property name="use_stock">True</property> + <accelerator key="0" signal="activate" modifiers="GDK_CONTROL_MASK"/> + </widget> + </child> + <child> + <widget class="GtkSeparatorMenuItem" id="menuitem3"> + <property name="visible">True</property> + </widget> + </child> + <child> + <widget class="GtkImageMenuItem" id="patch_fullscreen_menuitem"> + <property name="visible">True</property> + <property name="label">gtk-fullscreen</property> + <property name="use_underline">True</property> + <property name="use_stock">True</property> + <signal name="activate" handler="patch_fullscreen_menuitem"/> + <accelerator key="F11" signal="activate"/> + </widget> + </child> </widget> </child> </widget> |