diff --git a/gui/source.py b/gui/source.py index 9f9e7f8..3a57562 100644 --- a/gui/source.py +++ b/gui/source.py @@ -147,6 +147,8 @@ class SourceWindow: self.do_step = Invoker("step") self.do_next = Invoker("next") self.do_continue = Invoker("continue") + self.do_finish = Invoker("finish") + self.do_stop = Invoker("interrupt") builder = Gtk.Builder() builder.add_from_file(os.path.join(gui.self_dir, 'sourcewindow.xml')) @@ -159,10 +161,6 @@ class SourceWindow: self.window.show() - def do_stop(self, *args): - # FIXME. - pass - def deleted(self, widget, event): lru_handler.remove(self) diff --git a/gui/sourcewindow.xml b/gui/sourcewindow.xml index 635e8ed..9067566 100644 --- a/gui/sourcewindow.xml +++ b/gui/sourcewindow.xml @@ -17,6 +17,11 @@ False icons/step-into.xpm + + True + False + icons/step-out.xpm + False Source @@ -95,6 +100,20 @@ True + + + True + False + Run until the current function returns + Finish + True + image4 + + + False + True + + False