From 6d49924a9d9d6daecf4f26dd181940b18f740438 Mon Sep 17 00:00:00 2001
From: Tom Tromey <tom@tromey.com>
Date: Sun, 10 May 2015 20:05:08 -0600
Subject: [PATCH] change executable-line icon

---
 gui/icons/countpoint-marker.png | Bin 241 -> 0 bytes
 gui/icons/ok.png                | Bin 0 -> 439 bytes
 gui/icons/ok.xcf                | Bin 0 -> 1485 bytes
 gui/source.py                   |   3 +--
 4 files changed, 1 insertion(+), 2 deletions(-)
 delete mode 100644 gui/icons/countpoint-marker.png
 create mode 100644 gui/icons/ok.png
 create mode 100644 gui/icons/ok.xcf

diff --git a/gui/icons/countpoint-marker.png b/gui/icons/countpoint-marker.png
deleted file mode 100644
index 3700e55f6dfeb024478b023bdd0f8c44eb53e1f3..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 241
zcmeAS@N?(olHy`uVBq!ia0vp^0wB!61|;P_|4#%`jKx9jP7LeL$-D$|*pj^6T^Rm@
z;DWu&Cj&(|3p^r=f!eQwFr$;k><XYDdx@v7EBh@@DPAF?uXdl3fkK6zE{-7<r<YDX
z$k(92<9z#AOaGVOKRo=uE(v5Zk~zM1J^QswW=8q1c|A*Fb2rS@<mxZ$I;7ki_F!Jv
z>VoV=XIQl&gV-2mm^Pdc$-njQYiIZd6R!xCy4b{{PgY*ldA-?ABWT8YS@+U)DU5js
dcGrF>QU6)4d)#v!pA*n>22WQ%mvv4FO#l|?Rz3g#

diff --git a/gui/icons/ok.png b/gui/icons/ok.png
new file mode 100644
index 0000000000000000000000000000000000000000..90d831dbf54d89cf407fcf0e62825ac34188ef83
GIT binary patch
literal 439
zcmeAS@N?(olHy`uVBq!ia0vp^0wB!61|;P_|4#%`Y)RhkE(`?>pBWT-YPWp^if|Tq
zL>4nJa0`PlBg3pY5<o%r5>H=O_WP{dOpJ<YtA9oTg=8~BB1)X|b8}PkN`PDj2Ir#G
z#FEq$h4Rdj3<Y;j-+&aoRCWdiMrltM#}JFtYbWpZV+s^#-7l#s7^AfIq2QXzX5Fc8
zxDT|=J922d!9s(D>JD!>x9vH2&5r3-R#<CG#ql=Na&bfHk5kgm&D>dDcjU~6!mm18
z-5ffUoiZ68cm$;B=j+IwdwckL_xuHuy>9nd*EMonzr5>gxll>)&O*2OLIH^uD{nJ6
zY(ABGmf_rs@}NxS6HkS=ZVr~?o@IJy#UdXDvpzjHev6N;>)*%7m@^%6lE3aQdZ_T~
zG`Vu=^-um4A3o%NiGxGbead^G#Z8h8Knae;f8sm7REI>Tod3sZZMbx)49C%lKaL!`
zcvt;ir=^hV%%>iU#n&&1G&!!FnWz46`g~a%H^a?A+I#YsiY7#D-^q3OQm=5^P1`^B
e4gY?fv!CJ6%AVjEheBLH;pge<=d#Wzp$PzsimU$s

literal 0
HcmV?d00001

diff --git a/gui/icons/ok.xcf b/gui/icons/ok.xcf
new file mode 100644
index 0000000000000000000000000000000000000000..18403ddc6b0502caa13057ad40b1975dfda24f7a
GIT binary patch
literal 1485
zcma)5%}(1u5MJAH2o4nbLluc0EcF71Ab16OK$SvNsYe?`2#&GH4~jzyC)77+Um&->
zKyQ77o^#02x16yRfvU#4{l=`pDXG*^#`Dd$Gdo}GUDs=!o0s*5+3=bUgRM#@{2Z<*
zc)WxccE2!24toX9Nq;RP)vcj^4{_PWw&i-K)pFWB<ct<yyz4r(o^xV;@_MJ{-uwLz
zw6dC%daau4l-;g(LL90Uw&C}#nvUsrn%>E#vC(kroo1(NZX}`Hb&qT2_SSY{bHI*V
z+C=N|oYr*R{5PQ1OaHu9_u8(xlg<KpHII~B`J(OhOs`!(b$sgYG#b9sdk{$7PpNxm
zww2z4H0Ap}(BDcT{YLawi@UY@ncMALw3An-%91=HeIWraNKEC65+krT8Ej;5F@u*f
zcsYYtfN9^<7651-S$aBBEuhp^vhsMmP^*5P<<zf~Yl2tooXsmj7u>e;7Pkes1FK;1
z1ECOSSW{b6temAB=~i5^E!E<OLKXZFNU=3b7aAhiBasvQ$WoqUX^ocYjO}#KX+_W!
zOvXGp85*P-=#mOmD7za+HxYhg(i?^OkVm993JZkLAB9FZjl?+A!r#$k5+TOpC{#m!
zOPX(i;^-z+s2pk|p!kNKd_wsINQqGWkj<-}-7Pz7Iu@iL)sm=6^d(C5jDGqz3oI`d
zSxyw0DwY`+_?DV5m=5yM4RC9;xP+=Asu$6<08(RjMs+Y84ytHjyc*;KUS%5NeozRw
zk4p{C2&PqL1ZwbW)Gw9#BcRx*21*c*)|txU^%3Ff08ie>nc{uQ2SdtBl$U^%p_<9!
z;osFy_nVzKH5e&@I%tyWpi?T=Gyfww#OZ}w`RFvAde7^$&Hb8xM&~s>^y!7W2KPS~
k?wRbROG(>na9DbGh?b^*14tEs*MG<b$>~2SzgC#|1DHPAd;kCd

literal 0
HcmV?d00001

diff --git a/gui/source.py b/gui/source.py
index 7192c67..ce14d41 100644
--- a/gui/source.py
+++ b/gui/source.py
@@ -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()