From 9e116896c632eab7bd4017dd997efa31afe5bbe9 Mon Sep 17 00:00:00 2001
From: Tom Tromey <tom@tromey.com>
Date: Wed, 20 May 2015 08:08:44 -0600
Subject: [PATCH] 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.
---
 gui/sourcewindow.xml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/gui/sourcewindow.xml b/gui/sourcewindow.xml
index e92bee6..fa2f218 100644
--- a/gui/sourcewindow.xml
+++ b/gui/sourcewindow.xml
@@ -40,7 +40,7 @@
                 <property name="tooltip_text" translatable="yes">Continue execution</property>
                 <property name="label" translatable="yes">Continue</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"/>
                 <accelerator key="c" signal="clicked"/>
               </object>
@@ -88,7 +88,7 @@
                 <property name="tooltip_text" translatable="yes">Interrupt the program</property>
                 <property name="label" translatable="yes">Stop</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"/>
                 <accelerator key="c" signal="clicked" modifiers="GDK_CONTROL_MASK"/>
               </object>
@@ -130,7 +130,7 @@
                 <property name="tooltip_text" translatable="yes">Up one frame</property>
                 <property name="label" translatable="yes">Up</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"/>
               </object>
               <packing>
@@ -145,7 +145,7 @@
                 <property name="tooltip_text" translatable="yes">Down one frame</property>
                 <property name="label" translatable="yes">Down</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"/>
               </object>
               <packing>