Lerking/gdb-gui
1
0
Fork 0
mirror of https://github.com/tromey/gdb-gui.git synced 2025-12-16 07:10:04 +01:00
Code Issues Packages Projects Releases Wiki Activity

fix breakpoint display in source windows

Browse Source
This commit is contained in:
Tom Tromey
2015-05-10 10:53:01 -06:00
parent 1bec4626eb
commit ffd6d83a03
1 changed files with 6 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
gui/source.py
View File

@@ -43,14 +43,11 @@ class BufferManager:
@in_gtk_thread @in_gtk_thread
def _set_marks(self, buffer, line_set): def _set_marks(self, buffer, line_set):
buffer.all_marks = {}
iter = buffer.get_iter_at_line(0) iter = buffer.get_iter_at_line(0)
while True: while True:
line = iter.get_line() + 1 line = iter.get_line() + 1
if line in line_set: if line in line_set:
buffer.all_marks[line] = buffer.create_source_mark(None, buffer.create_source_mark(None, 'executable', iter)
'executable',
iter)
if not iter.forward_line(): if not iter.forward_line():
break break
@@ -106,16 +103,14 @@ class BufferManager:
[fullname, line] = sal [fullname, line] = sal
if fullname in self.buffers: if fullname in self.buffers:
buffer = self.buffers[fullname] buffer = self.buffers[fullname]
if line in buffer.all_marks: iter = buffer.get_iter_at_line(line - 1)
if buffer.all_marks[line].category is not category: buffer.remove_source_marks(iter, iter)
iter = buffer.get_iter_at_line(line - 1) buffer.create_source_mark(None, category, iter)
buffer.all_marks[line] = buffer.create_source_mark(None,
category,
iter)
@in_gdb_thread @in_gdb_thread
def _location_changed(self, loc, is_set): def _location_changed(self, loc, is_set):
gui.startup.send_to_gtk(self.update_breakpoint_location) gui.startup.send_to_gtk(lambda: self.update_breakpoint_location(loc,
is_set))
buffer_manager = BufferManager() buffer_manager = BufferManager()