diff options
| author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2012-05-08 05:13:53 +0200 |
|---|---|---|
| committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2012-05-08 05:13:53 +0200 |
| commit | a6f821ff833171da62a25ad24fd85bc7834f1961 (patch) | |
| tree | b9210fe6c9c9e4eea397026d3fa38d38e01d5ecf /src/default.ui | |
| parent | 8f2799acdbc3049b88758205bd921c7f8697a0ee (diff) | |
| download | experiment-player-a6f821ff833171da62a25ad24fd85bc7834f1961.tar.gz | |
support for opening the HTML manual from the experiment player help menu
URI is configurable (--with-help-uri)
Diffstat (limited to 'src/default.ui')
| -rw-r--r-- | src/default.ui | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/default.ui b/src/default.ui index 85f4be4..7f74228 100644 --- a/src/default.ui +++ b/src/default.ui @@ -112,6 +112,16 @@ <object class="GtkMenu" id="help_menu"> <property name="visible">True</property> <child> + <object class="GtkImageMenuItem" id="help_menu_manual_item"> + <property name="label" translatable="yes">Read _Manual...</property> + <property name="visible">True</property> + <property name="use_underline">True</property> + <property name="image">image4</property> + <property name="use_stock">False</property> + <signal name="activate" handler="help_menu_manual_item_activate_cb"/> + </object> + </child> + <child> <object class="GtkImageMenuItem" id="help_menu_about_item"> <property name="label">gtk-about</property> <property name="visible">True</property> @@ -236,4 +246,8 @@ audio-volume-medium</property> <property name="visible">True</property> <property name="stock">gtk-directory</property> </object> + <object class="GtkImage" id="image4"> + <property name="visible">True</property> + <property name="stock">gtk-help</property> + </object> </interface> |