diff options
author | David Robillard <d@drobilla.net> | 2010-01-29 07:58:13 +0000 |
---|---|---|
committer | David Robillard <d@drobilla.net> | 2010-01-29 07:58:13 +0000 |
commit | f02ac2f82a0342c3e548a81950734b4bce383b7d (patch) | |
tree | 06a51f5be2d41bdd8a52f1a6f8888f5f4d3db5f5 /src/gui/ingen_gui.glade | |
parent | 96613df7830699dbbfb5c2d9fe3ebdb0598e6aca (diff) | |
download | ingen-f02ac2f82a0342c3e548a81950734b4bce383b7d.tar.gz ingen-f02ac2f82a0342c3e548a81950734b4bce383b7d.tar.bz2 ingen-f02ac2f82a0342c3e548a81950734b4bce383b7d.zip |
Improved/quicker/easier handling of control port ranges.
* Add "Set minimum to current value", "Set maximum to current value",
and "Reset range" to control port context menu.
* Only serialise properties (e.g. lv2:minimum) if they differ from
the meta object's (prototype's, e.g. plugin) value.
git-svn-id: http://svn.drobilla.net/lad/trunk/ingen@2395 a436a847-0d15-0410-975c-d299462d15a1
Diffstat (limited to 'src/gui/ingen_gui.glade')
-rw-r--r-- | src/gui/ingen_gui.glade | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/src/gui/ingen_gui.glade b/src/gui/ingen_gui.glade index ad84483f..1e297c12 100644 --- a/src/gui/ingen_gui.glade +++ b/src/gui/ingen_gui.glade @@ -3262,4 +3262,30 @@ Thank you for contributing.</property> </widget> </child> </widget> + <widget class="GtkMenu" id="port_menu"> + <property name="visible">True</property> + <property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property> + <child> + <widget class="GtkMenuItem" id="port_set_min_menuitem"> + <property name="visible">True</property> + <property name="label" translatable="yes">Set m_inimum to current value</property> + <property name="use_underline">True</property> + </widget> + </child> + <child> + <widget class="GtkMenuItem" id="port_set_max_menuitem"> + <property name="visible">True</property> + <property name="label" translatable="yes">Set m_aximum to current value</property> + <property name="use_underline">True</property> + </widget> + </child> + <child> + <widget class="GtkMenuItem" id="port_reset_range_menuitem"> + <property name="visible">True</property> + <property name="tooltip" translatable="yes">Reset range to plugin defaults</property> + <property name="label" translatable="yes">R_eset Range</property> + <property name="use_underline">True</property> + </widget> + </child> + </widget> </glade-interface> |