use icon_name, not stock_id

I couldn't reproduce this bug -- I couldn't see how to get gtk to emit
deprecation warnings for me.  This should work though.

Fix #30.
This commit is contained in:
Tom Tromey
2015-05-20 08:08:44 -06:00
parent 22bdecb10d
commit 9e116896c6

View File

@@ -40,7 +40,7 @@
<property name="tooltip_text" translatable="yes">Continue execution</property> <property name="tooltip_text" translatable="yes">Continue execution</property>
<property name="label" translatable="yes">Continue</property> <property name="label" translatable="yes">Continue</property>
<property name="use_underline">True</property> <property name="use_underline">True</property>
<property name="stock_id">gtk-media-forward</property> <property name="icon_name">media-playback-start</property>
<signal name="clicked" handler="do_continue" swapped="no"/> <signal name="clicked" handler="do_continue" swapped="no"/>
<accelerator key="c" signal="clicked"/> <accelerator key="c" signal="clicked"/>
</object> </object>
@@ -88,7 +88,7 @@
<property name="tooltip_text" translatable="yes">Interrupt the program</property> <property name="tooltip_text" translatable="yes">Interrupt the program</property>
<property name="label" translatable="yes">Stop</property> <property name="label" translatable="yes">Stop</property>
<property name="use_underline">True</property> <property name="use_underline">True</property>
<property name="stock_id">gtk-stop</property> <property name="icon_name">media-playback-pause</property>
<signal name="clicked" handler="do_stop" swapped="no"/> <signal name="clicked" handler="do_stop" swapped="no"/>
<accelerator key="c" signal="clicked" modifiers="GDK_CONTROL_MASK"/> <accelerator key="c" signal="clicked" modifiers="GDK_CONTROL_MASK"/>
</object> </object>
@@ -130,7 +130,7 @@
<property name="tooltip_text" translatable="yes">Up one frame</property> <property name="tooltip_text" translatable="yes">Up one frame</property>
<property name="label" translatable="yes">Up</property> <property name="label" translatable="yes">Up</property>
<property name="use_underline">True</property> <property name="use_underline">True</property>
<property name="stock_id">gtk-go-up</property> <property name="icon_name">go-down</property>
<accelerator key="u" signal="clicked"/> <accelerator key="u" signal="clicked"/>
</object> </object>
<packing> <packing>
@@ -145,7 +145,7 @@
<property name="tooltip_text" translatable="yes">Down one frame</property> <property name="tooltip_text" translatable="yes">Down one frame</property>
<property name="label" translatable="yes">Down</property> <property name="label" translatable="yes">Down</property>
<property name="use_underline">True</property> <property name="use_underline">True</property>
<property name="stock_id">gtk-go-down</property> <property name="icon_name">go-up</property>
<accelerator key="d" signal="clicked"/> <accelerator key="d" signal="clicked"/>
</object> </object>
<packing> <packing>