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

fix overriding command creation

Browse Source
This commit is contained in:
Tom Tromey
2013-11-12 09:59:11 -07:00
parent 3ecb5ad7f1
commit 97d3a8fafa
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
gui/commands.py
View File

@@ -191,6 +191,6 @@ if _can_override:
super(Overrider, self).invoke(arg, from_tty)
self.event.post()
Overrider('up', gui.events.frame_changed)
Overrider('down', gui.events.frame_changed)
Overrider('frame', gui.events.frame_changed)
Overrider('up', gui.events.frame_changed)
Overrider('down', gui.events.frame_changed)
Overrider('frame', gui.events.frame_changed)