diff options
Diffstat (limited to 'src/libs/gui/ingen_gui.glade')
| -rw-r--r-- | src/libs/gui/ingen_gui.glade | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/libs/gui/ingen_gui.glade b/src/libs/gui/ingen_gui.glade index 8bdc9328..e402fb1d 100644 --- a/src/libs/gui/ingen_gui.glade +++ b/src/libs/gui/ingen_gui.glade @@ -296,11 +296,12 @@ </widget> </child> <child> - <widget class="GtkCheckMenuItem" id="human_names"> + <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> <property name="label" translatable="yes">_Human names</property> <property name="use_underline">True</property> + <property name="active">True</property> <accelerator key="H" modifiers="GDK_CONTROL_MASK" signal="activate"/> </widget> </child> |