Lerking/gdb-gui
1
0
Fork 0
mirror of https://github.com/tromey/gdb-gui.git synced 2026-01-06 08:30:06 +01:00
Code Issues Packages Projects Releases Wiki Activity

change executable-line icon

Browse Source
This commit is contained in:
Tom Tromey
2015-05-10 20:05:08 -06:00
parent 089d965a4b
commit 6d49924a9d
4 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
gui/source.py
View File

@@ -274,8 +274,7 @@ class SourceWindow(gui.updatewindow.UpdateWindow):
self.view.set_tab_width(gui.params.tab_width.value)
attrs = GtkSource.MarkAttributes()
# FIXME: really we want a little green dot...
attrs.set_pixbuf(self._get_pixmap('icons/countpoint-marker.png'))
attrs.set_pixbuf(self._get_pixmap('icons/ok.png'))
self.view.set_mark_attributes('executable', attrs, 0)
attrs = GtkSource.MarkAttributes()