Lerking/gdb-gui
1
0
Fork 0
mirror of https://github.com/tromey/gdb-gui.git synced 2025-08-12 13:41:51 +02:00
Code Issues Packages Projects Releases Wiki Activity

clear breakpoint marker if breakpoint is disabled

Browse Source 
Fixes #34
This commit is contained in:
Tom Tromey
2015-09-19 20:15:40 -06:00
parent c1bb37366c
commit a93e40bc05
1 changed files with 7 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
gui/bpcache.py
View File

@@ -53,6 +53,12 @@ def _breakpoint_deleted(bp):
if len(_breakpoint_source_map[entry]) == 0:
gui.events.location_changed.post(entry, False)
def _breakpoint_modified(bp):
if bp.enabled:
_breakpoint_created(bp)
else:
_breakpoint_deleted(bp)
def any_breakpoint_at(filename, lineno):
entry = (filename, lineno)
if entry not in _breakpoint_source_map:
@@ -68,5 +74,4 @@ else:
if not hasattr(gdb.events, 'breakpoint_modified'):
gui.adapt.notify_bug(18620)
else:
# It's fine to just reuse the "created" handler here.
gdb.events.breakpoint_modified.connect(_breakpoint_created)
gdb.events.breakpoint_modified.connect(_breakpoint_modified)