Lerking/gdb-gui
1
0
Fork 0
mirror of https://github.com/tromey/gdb-gui.git synced 2025-07-21 21:11:25 +02:00
Code Issues Packages Projects Releases Wiki Activity

fix buglet

Browse Source
This commit is contained in:
Tom Tromey
2015-05-09 20:53:42 -06:00
parent a6e266899d
commit 2eece3f732
1 changed files with 3 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
gui/source.py
View File

@@ -48,8 +48,9 @@ class BufferManager:
while True:
line = iter.get_line() + 1
if line in line_set:
all_marks[line] = buffer.create_source_mark(None, 'executable',
iter)
buffer.all_marks[line] = buffer.create_source_mark(None,
'executable',
iter)
if not iter.forward_line():
break