Lerking/gdb-gui
1
0
Fork 0
mirror of https://github.com/tromey/gdb-gui.git synced 2026-01-04 15:40:06 +01:00
Code Issues Packages Projects Releases Wiki Activity

add up and down buttons to source window

Browse Source
This commit is contained in:
Tom Tromey
2015-05-06 12:41:28 -06:00
parent 88f77590bd
commit f11f884f8d
3 changed files with 46 additions and 47 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
gui/source.py
View File

@@ -188,7 +188,7 @@ class LRUHandler:
lru_handler = LRUHandler()
BUTTON_NAMES = ["step", "next", "continue", "finish", "stop"]
BUTTON_NAMES = ["step", "next", "continue", "finish", "stop", "up", "down"]
class SourceWindow(gui.updatewindow.UpdateWindow):
def _get_pixmap(self, filename):
@@ -198,6 +198,8 @@ class SourceWindow(gui.updatewindow.UpdateWindow):
def __init__(self):
super(SourceWindow, self).__init__('source')
gdb.events.cont.connect(self._on_cont_event)
# Update the buttons.
self.on_event()
@in_gtk_thread
def gtk_initialize(self):
@@ -208,6 +210,8 @@ class SourceWindow(gui.updatewindow.UpdateWindow):
self.do_continue = Invoker("continue")
self.do_finish = Invoker("finish")
self.do_stop = Invoker("interrupt")
self.do_up = Invoker("up")
self.do_down = Invoker("down")
builder = gui.startup.create_builder('sourcewindow.xml')
builder.connect_signals(self)