diff options
Diffstat (limited to 'src/libs/gui/ingen_gui.glade')
-rw-r--r-- | src/libs/gui/ingen_gui.glade | 26 |
1 files changed, 20 insertions, 6 deletions
diff --git a/src/libs/gui/ingen_gui.glade b/src/libs/gui/ingen_gui.glade index e2e9d093..1ef92b53 100644 --- a/src/libs/gui/ingen_gui.glade +++ b/src/libs/gui/ingen_gui.glade @@ -2030,9 +2030,10 @@ Hold <Ctrl> to play controls in either mode.</property> </child> </widget> <widget class="GtkWindow" id="node_properties_win"> - <property name="border_width">6</property> + <property name="border_width">8</property> <property name="title" translatable="yes">Node Properties - Ingen</property> <property name="icon">ingen.svg</property> + <property name="window_position">GTK_WIN_POS_MOUSE</property> <child> <widget class="GtkVBox" id="vbox17"> <property name="visible">True</property> @@ -2985,15 +2986,13 @@ Thank you for contributing.</property> </widget> </child> </widget> - <widget class="GtkDialog" id="port_properties_win"> + <widget class="GtkWindow" id="port_properties_win"> <property name="border_width">8</property> <property name="type">GTK_WINDOW_POPUP</property> <property name="title" translatable="yes">Port Properties - Ingen</property> <property name="resizable">False</property> <property name="window_position">GTK_WIN_POS_MOUSE</property> - <property name="destroy_with_parent">True</property> - <property name="type_hint">GDK_WINDOW_TYPE_HINT_DIALOG</property> - <child internal-child="vbox"> + <child> <widget class="GtkVBox" id="dialog-vbox6"> <property name="visible">True</property> <property name="spacing">8</property> @@ -3065,7 +3064,7 @@ Thank you for contributing.</property> <property name="position">2</property> </packing> </child> - <child internal-child="action_area"> + <child> <widget class="GtkHButtonBox" id="dialog-action_area6"> <property name="visible">True</property> <property name="layout_style">GTK_BUTTONBOX_END</property> @@ -3150,6 +3149,21 @@ Thank you for contributing.</property> <property name="use_stock">True</property> </widget> </child> + <child> + <widget class="GtkSeparatorMenuItem" id="separator9"> + <property name="visible">True</property> + </widget> + </child> + <child> + <widget class="GtkImageMenuItem" id="object_properties_menuitem"> + <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> + <property name="tooltip" translatable="yes">View and edit properties</property> + <property name="label" translatable="yes">gtk-properties</property> + <property name="use_underline">True</property> + <property name="use_stock">True</property> + </widget> + </child> </widget> <widget class="GtkMenu" id="node_menu"> <property name="visible">True</property> |