From 2eece3f7327141e5775ea28dec7a6cfbb50a8253 Mon Sep 17 00:00:00 2001
From: Tom Tromey <tom@tromey.com>
Date: Sat, 9 May 2015 20:53:42 -0600
Subject: [PATCH] fix buglet

---
 gui/source.py | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/gui/source.py b/gui/source.py
index 36c2d4b..f98cabb 100644
--- a/gui/source.py
+++ b/gui/source.py
@@ -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