tooltips touchup
This commit is contained in:
parent
2406bbcbae
commit
d4db41078b
|
@ -1074,6 +1074,7 @@
|
|||
<child>
|
||||
<widget class="GtkToolButton" id="toolbutton1">
|
||||
<property name="visible">True</property>
|
||||
<property name="tooltip" translatable="yes">Preferences</property>
|
||||
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
||||
<property name="label">Preferences</property>
|
||||
<property name="stock_id">gtk-preferences</property>
|
||||
|
@ -1086,6 +1087,7 @@
|
|||
<child>
|
||||
<widget class="GtkToolButton" id="toolbutton2">
|
||||
<property name="visible">True</property>
|
||||
<property name="tooltip" translatable="yes">Plugins</property>
|
||||
<property name="events">GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK</property>
|
||||
<property name="label">Plugins</property>
|
||||
<property name="stock_id">gtk-disconnect</property>
|
||||
|
|
Loading…
Reference in New Issue