From eecc8da23dc324461ec59e177bcc18de278e9dbe Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Fri, 4 Aug 2006 14:02:19 +0000
Subject: [PATCH] - Added custom buttons. - Note: stuff is breaking rather
 easily now.

---
 gui/Mainwindow.py                  |  24 +--
 gui/images/characterize-button.png | Bin 0 -> 4007 bytes
 gui/images/characterize-button.svg | 235 ++++++++++++++++++++++++++++
 gui/images/verify-button.png       | Bin 0 -> 3919 bytes
 gui/images/verify-button.svg       | 236 +++++++++++++++++++++++++++++
 5 files changed, 484 insertions(+), 11 deletions(-)
 create mode 100644 gui/images/characterize-button.png
 create mode 100644 gui/images/characterize-button.svg
 create mode 100644 gui/images/verify-button.png
 create mode 100644 gui/images/verify-button.svg

diff --git a/gui/Mainwindow.py b/gui/Mainwindow.py
index fb3420d..1ffd743 100644
--- a/gui/Mainwindow.py
+++ b/gui/Mainwindow.py
@@ -102,24 +102,26 @@ class MainWindow(wx.Frame):
 
         #print "Default toolbar tool size: %s\n" % tb.GetToolBitmapSize()
 
-        tsize = (32,32)
+        tsize = (64,64)
 
-        bmp = wx.ArtProvider_GetBitmap(wx.ART_EXECUTABLE_FILE,wx.ART_TOOLBAR,tsize)
-        if not bmp.Ok():
-            bmp = wx.EmptyBitmap(tsize)
+        bmpverify = wx.Bitmap("images/verify-button.png",wx.BITMAP_TYPE_PNG)
+        bmpcharacterize = wx.Bitmap("images/characterize-button.png",wx.BITMAP_TYPE_PNG)
+        #bmp = wx.ArtProvider_GetBitmap(wx.ART_EXECUTABLE_FILE,wx.ART_TOOLBAR,tsize)
+        #if not bmp.Ok():
+        #    bmp = wx.EmptyBitmap(tsize)
 
         # add the actual tools
-        tb.AddSimpleTool(ID_VERIFY, bmp,"Verify","Verify claims")
+        tb.AddSimpleTool(ID_VERIFY, bmpverify,"Verify","Verify claims")
         self.Bind(wx.EVT_TOOL, self.OnVerify, id=ID_VERIFY)
-        tb.AddSimpleTool(ID_STATESPACE, bmp,"Statespace","Generate statespace for all roles")
+        tb.AddSimpleTool(ID_STATESPACE, bmpcharacterize,"Statespace","Generate statespace for all roles")
         self.Bind(wx.EVT_TOOL, self.OnStatespace, id=ID_STATESPACE)
 
-        tb.AddSeparator()
+        # tb.AddSeparator()
 
-        tb.AddSimpleTool(ID_CHECK, bmp,"Check","Check protocol")
-        self.Bind(wx.EVT_TOOL, self.OnCheck, id=ID_CHECK)
-        tb.AddSimpleTool(ID_AUTOVERIFY, bmp,"Default claims","Verify default claims")
-        self.Bind(wx.EVT_TOOL, self.OnAutoVerify, id=ID_AUTOVERIFY)
+        # tb.AddSimpleTool(ID_CHECK, bmp,"Check","Check protocol")
+        # self.Bind(wx.EVT_TOOL, self.OnCheck, id=ID_CHECK)
+        # tb.AddSimpleTool(ID_AUTOVERIFY, bmp,"Default claims","Verify default claims")
+        # self.Bind(wx.EVT_TOOL, self.OnAutoVerify, id=ID_AUTOVERIFY)
 
         tb.Realize()
 
diff --git a/gui/images/characterize-button.png b/gui/images/characterize-button.png
new file mode 100644
index 0000000000000000000000000000000000000000..9a84127324c5d0c2d1f7ce94dc6294fc42525c15
GIT binary patch
literal 4007
zcmV;Y4_NStP)<h;3K|Lk000e1NJLTq002M$002M;1^@s6s%dfF00004b3#c}2nYxW
zd<bNS0000PbVXQnQ*UN;cVTj60C#tHE@^ISb7Ns}WiD@WXPfRk8UO$fIY~r8RCt{2
zn|W|u^>xQT=XdYZ)6-&GmL*GGWLsXajWHN71=|!GTGKKl5MoLjwzO%PKueS9OeyJf
zNK*#LkQGSdNoXlc(o7df8Nh|YxG@H^Sl$5dn`9#|vSjUg@4mbI`o~?~eT!r{lZ;65
z@jTsof7?Chd(Q9t&hPxLMQhEcnbcS_FxGSqfU#y^tmzy8W6i)=(>Vafnt`#Va{!Dr
z17l6+02pfq#+uFnFxCu=HJNAIK}70)iGC7XRl$Ay8s4i|A9aR)lIu!8a7dr!_EyfO
zy@-r6ljdg6)6D{f9i?QasBh_}BKhM;SXW{+e+<d54sKk>>$kJc`C97}BMMPKqt>K|
zDB!C`DlzNUb$6Mjp)izSieQMs5GnC1C|5*fW{Ea=WvX~Qv*<l4>T~Ngk5ujZ=*SZy
za+}uL8ns-bwEz*BqY}mkD<8c+HU09LR2WIFpZ2>LqEHA*1ce|%aP=7zV&&m;tWCU6
zygpaw+k`574(?B7KEUz%IDM+0>z4d&Hj~b-0bU;MR2Y>7h)Bvvn*UUHQDb7tWz*4G
zv$}C5%W9V*G24z?ZD`7I)0d*Zxr$PK^V*3NwDJEYRV9b}Ut?1JIPU$s8xl`E_+L+E
zGWPjE*QjJW6Hwwy_(w*$`ScCXe=(67mt<;117DtZN1(A7%Yh&gJcr;&Zmj5e__Caq
zqw>ft#LFdm-^rov^w|e7M7VL;H?pk<PCn<l?mb%T?5_fVdX+GCUwHSjn)B9NAciPz
zn{^Y7sd^+7SaL8Zi7^@o68*wD$p<Metdao2IGB0&xiLXdfX3zH!HsC0;aFQIH!T1A
ztd+4>Yppk&34jr&fQTfNQjb<PR#(sd-1(wC&4QXalp9HUvb}lpGk(o6SzNB-pv2m#
z0&w!5!?NP>!*&zO=FpY?fT>NB_~Uz4n@_KO{b>=oSZm!qqKqS1fQYP631j`LAAdek
zGh-r^W{TgRwvsZH@R^Zd;g*~O%Q?ZovBex<p;OCUbAk+i&9|=NenOvh2+KW<A;Rj5
zzm`4T-u(m5^X}JL+h+}ch>TN7vt|0V^JZW4l@-cFSW>%?##CM8p+lyWs0awZE+=pZ
zjsirHzhV@%i>(f^l|aSEELu5o<>1nnIS9BM*nNy!RzGZ6mc2r2-7*{iC8vOh7{I+|
z(wuqz-B&0)n2@ZdOcHcky*WmLr7kX%l6;|z7}F{aKqP>Qo(&2>%d;F}?<xUs@GCPW
zVmTemn?Hp$Us!HF|8JX~6_G2n*1e;)01=t362^xYKX6TI^3o<urI=Gaoib(S3$Fx&
zV7<>1mMBok2ZB7{e1TL{9tvoPpp-;YNC_C?2T^fr2!p76z!bLI3);c}u3UUywzH$}
zAAoOat=%&MAR-l#FkYE>!Q>T7AG+2wL@_Q=Np&LSzckQV7}@y@=NK_!!o;IILGpw!
zqxLEguo!^+zJ4Saf~$glVI&v<CJI9|t~Z1!u%qP=cYgkRY0I)N)mrZwaS8-${*6k>
z@(b=;X`+1xlXfg@H;W-c*GDJl+Ia#INF)<f*Htm|@>!Ip%1|P7>^x5U_K)+No&x4x
z-purc4Zg-vY<zALXjrs-9!>KbF=E2t!aJ{QXaDv#lu|6ZbQY^VdkGz#gRFmHGc)E)
z=E~KJQKES6M{iJBndIg#UKJ_93&7D@v*eOyuD$+}#Ov#}J}n|wYpn-H@&UCfVLaY^
z`x4WvN}xTBCmycWhzMGQ_V-)a{j+U(ol+B0ta<Vesjjc4ZA%;PJh`c8TA4|M#`7kj
zL~&xzNnU#F4FFCZ>EhN0K7$qk5p37vyLUay-Yu<B-}V2wnHASBrsH@g|MKmZS$^#W
zTyf0;3{m{(TQ5;tSIy^cUxp4WN=t59ioiqPxy^iY{f8H()7d*kWUbcPD*`}7%9K)%
zmQSu6H|;YE1P>66|1Y=ob2I*mvgivJQ@@~r-Oumf`1W@8tlP!XJ1)ac`}G&zu$Wm(
zXGG@PFsBaB(}-yHzk3*f@%7d0dFLQn`|t2HZ20#U_HJpVVMZ-Cet8v@l}UEIwIA(i
zvX%pYm9Zn`pf!%;1!IGVfAxZ&2qa8{@BH9PW%vBa+HYExy$(1W${pW}FU8=th4)>R
zKx@z%9ZK#$qBYp*fQf#K?4U)}<Z1v0PY(t4e)Q=&E>70L%{tgw8_)HkvG#5{NO@I~
z=?fa^IoU@?TNgTb*|zn&0l4Jq1&9clbe4rnXQH*n4#2mDvc6)pKcwrp0gpQR5xdvG
zimMi~{I?e*%TvjJ7Lm$43lNd<s?2<<e$_0aV)}RpHJ<yEBOO|TgVmei`1W=HYG%~r
zKm%IeYva^`&M4};?Xf>VYfUzj<>=01G|s7~ac(^yZP>@&_YN_+sTK_!KYR*+rumI5
zUN(nhnMucy(~+<Mdv+Y*&Q*{2?09~u51^3Kna;Zh_})K$DY4>`zgdxin?&TNT5B(~
zfN9!s=S=zRe5F0@59);ohT0FxgTW5HzL(8w-)5+DkcBrcrhfip;wy@su}Sx&847+P
zg4UYWZAWo!m-?Bt%)N9bBErtM4&cAn!w$^6dC?Rqs>(?u6Ew|h@J&7tHjyx>nN&s1
zr0VE>UQn++56|<0dmWW~o~FFKjITYgCQ)9V_&zW(vH+kJ#cTT?f9H2DdT4b*;|uMp
zPosmKjFy}lnpdBPc03NR-%rQR<6L<25+9%dg!8UBk2%YlbIY2k(4J=hd;av>wQ)ZO
zx3mFpaO)9V+d-KI$y6Cb{TZx`i>Eab@Zt%+lK`g8uIJ`IU5OIKgI{?z0Kf~Jp7M8z
zfe#?^3mUZW%8OeZ5w#6SL*N6n)`Qy7e?4&UwA1ze$9YyCpHJ~}Wg1MmbQ;xD#?iU|
z6oaSw^UTz9JzOj21H#G!@3mr>22G2m(zIwQ<0e&MrL(l|JO&!-n<fJA{%apbbGWyA
zAeze|nPn!4G9$)l&QDR&7r?rgx6smZAd^m8f1$M=j9UP}3GH~_-M{v|`)V(mk`O}$
zhzee?rh6jMoJ&niQPnVx>Ay9TT|fVTtv_ku_r7smq^08@9VgpwMY}db8BCd5M`v3X
z^|NZZ__{@yhN5~x1)E;j%I<d#(!6jAi<Zx2-_|x>dh$&=j+~~VD#^ADdwG1_U*Wo5
zFa=B&U)GEvDo_&Gj*B6J#={GiK^^dJh^Bua!`JWsSI5fO_XEcxAY%aZ06%rJ&K(Dz
z**dNHmc^1Az#mK@cup>wtZEp?r1|w!PO9YNmLnYdpdHut>$_UJ=xWU+Wg6zz(cjSr
zK+V(%l$9q?Ktpq#KPBEiz^Yp=qj6R(SKhFMt?PI5?yDaHP}?w`q5ce+w4ds8U6;ZB
zj1NHIp9cHVvB)xrI>|+w_kZ;n$926H;D3O=kgvQ@SVX1*SF42a)RM1XW0u!cL~*tm
z#N>nReGDG&r*?KNRdrQldorBfcZ!M$DH;|u(0{C#-lIK~S0zcN%A$=-O?@?~>T(Wm
zZlh{K1v3{-MTs!bIl!@fCz;$-OXG}5Sc4XawjV`AFik}wVS?*%;j+0{0~UL>wozMG
z&Adg^P@-tru!m$a!P4b(16~ydvAu-|@4vN=Z$I?HkY(A|0(-R9ouw=Q;54v9Yj5Me
zr(3REc-Q4-h#)~o>!xiy%fT6Pum^3-G83f~11AR<tR27^vT-sFLzYX1bd=CYm<E|X
z3n$}XnkJcntgj{0#7;Y$KGsW3Z8ZvEa?>PEw04qCXURyG@>GJMehX_bi<Pm-q_Yh6
zTPRUcP&CkQ1)HRBU!pM(vX;&FAAQlWEc;tPCy<vQDYY4D2Ii`S@$=?e7N=_F)&*PD
z+_tr72Ul{Nnx7{q%pK(Si*Ju}KPT&8AS9Csl=69yygb10<A)opC!cuL-MQoF4$I2k
zi+^yEcWzKBAJ7eSdA9rGwikE(dG*~_m`Vg44qgC&7ke&BhEOONNDKfWK4vipBKVHX
zc8dXuy{9;V;sdaMS34i=Xv=0T=OLh%5}D#s0Q3R_z^kt1+;nWip=k}5O&1S;{~v#e
z1l!}d;CUJ<(3lLzeDoY^69Po8+$hKdNuCAda)=6W9gm+q^QM!voX3DuKyRtkSP=kP
zYfnUafIctlK5}Yn`{NU4*P3Oi1a54X6*@OJc3<k6m-~ySyuz}A{9m3%hpQuB+wsE`
z(S8v0#w*)g$98uDn}*Z=a260wgFfJ>*4~EpjfYlFTQSR!AQq4~<1xlUjY$#Hg_+(^
zh=RUhc?h7yvdJ-_qw&aZBWMJn<5)L)ceUGg)_FLv=6<bpdei`Dtt}B500y+9e>ikv
zaM{2KD^)S68V@j(pVIUKbMqvg5ssT;><pkt*f7Hz>sJ6kT<}70qwxxa*PdqmYacpx
z)_DRy-0c}o`y*LEXay62YR`7oo@_b#mou+lX^Mb{pi~fr2}Hp+K`0#F2iNcj$A6ZR
z{X7Dv8UuoYXD<c>As@jw8h_ug^{p1qaooMYMj(TKY~KIN0MLhTK3U)wo^7w`IoLIQ
z!u*9k%YpX}nF>wZi?rl37C*_+vAL}&*07FE6CKlZSQl#Fi)r5zL4u4`cgIN%?>S)G
zR`$U_h92PbNC&0E0-&|lfivs{>fDU=aM$+jPgKsmJYkkspb@kx79eh#TEY{cocZdQ
z*{T4P5J0~^e+q<kaiJvwI&gYE!@T?7PdT<_{SX)e>_CY<BPjWdr^DU&=2HtC)8hQ1
zYxCPz*RQ(W2u+Y^E)!`e6g)oXLygBBSfTJL2BH+y6<R@V?)y_`&zt|@*;eKN@V^1?
zJwSIn|5u7eb2!=r%mT&%hAK<_M3j*{18_m-Q1bku(NgKQrAxKvW*uwj&+rxI0<FOQ
zk&eY+bO2NXvw`VnV)zq8-N0e3b^Dnbj^-<|0bmf{qy8q4W`w|}kj@A|;6X!Y_?tle
zK%drnR0<pIcY@vcmQZxI_6ej>Yad1lfY#c<Us8q*C_W)Hgdg?}oUvs<XY-|KxIg$L
z(}-bjDH=5ZK^AoYALUOXW$`WatbEnke)8H4jK`0%p!jRi(bBKte`^+wk;V^veyyL%
z8o=aHFf$yT4RfPuTiB+n)JG5_(OCiT|B*iRpUa;EV5}J!Yx>j!@PD~eQC%?1F$Mqt
N002ovPDHLkV1i=6ut@*_

literal 0
HcmV?d00001

diff --git a/gui/images/characterize-button.svg b/gui/images/characterize-button.svg
new file mode 100644
index 0000000..fd0fca7
--- /dev/null
+++ b/gui/images/characterize-button.svg
@@ -0,0 +1,235 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- Created with Inkscape (http://www.inkscape.org/) -->
+<svg
+   xmlns:dc="http://purl.org/dc/elements/1.1/"
+   xmlns:cc="http://web.resource.org/cc/"
+   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+   xmlns:svg="http://www.w3.org/2000/svg"
+   xmlns="http://www.w3.org/2000/svg"
+   xmlns:xlink="http://www.w3.org/1999/xlink"
+   xmlns:sodipodi="http://inkscape.sourceforge.net/DTD/sodipodi-0.dtd"
+   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+   width="64px"
+   height="64px"
+   id="svg1307"
+   sodipodi:version="0.32"
+   inkscape:version="0.43"
+   sodipodi:docbase="/home/cas/svn/scyther/gui/images"
+   sodipodi:docname="characterize-button.svg"
+   inkscape:export-filename="/home/cas/svn/scyther/gui/images/characterize-button.png"
+   inkscape:export-xdpi="90"
+   inkscape:export-ydpi="90">
+  <defs
+     id="defs1309">
+    <linearGradient
+       id="linearGradient4899">
+      <stop
+         id="stop4901"
+         offset="0"
+         style="stop-color:#0046f2;stop-opacity:1;" />
+      <stop
+         style="stop-color:#020000;stop-opacity:0.87628865;"
+         offset="0.184128"
+         id="stop4909" />
+      <stop
+         id="stop4911"
+         offset="0.4384"
+         style="stop-color:#000000;stop-opacity:0.17525773;" />
+      <stop
+         id="stop4905"
+         offset="1"
+         style="stop-color:#000000;stop-opacity:0;" />
+    </linearGradient>
+    <linearGradient
+       id="linearGradient3097">
+      <stop
+         style="stop-color:#ffffff;stop-opacity:1;"
+         offset="0"
+         id="stop3099" />
+      <stop
+         style="stop-color:#ffffff;stop-opacity:0;"
+         offset="0.34"
+         id="stop9319" />
+      <stop
+         style="stop-color:#ffffff;stop-opacity:0.01030928;"
+         offset="1"
+         id="stop3101" />
+    </linearGradient>
+    <linearGradient
+       id="linearGradient3087">
+      <stop
+         style="stop-color:#3ebe63;stop-opacity:1;"
+         offset="0"
+         id="stop3089" />
+      <stop
+         style="stop-color:#fbffab;stop-opacity:1;"
+         offset="1"
+         id="stop3091" />
+    </linearGradient>
+    <linearGradient
+       inkscape:collect="always"
+       xlink:href="#linearGradient3087"
+       id="linearGradient3093"
+       x1="1.9183818"
+       y1="32.478516"
+       x2="61.899799"
+       y2="32.478516"
+       gradientUnits="userSpaceOnUse" />
+    <linearGradient
+       inkscape:collect="always"
+       xlink:href="#linearGradient3097"
+       id="linearGradient4891"
+       x1="30.326704"
+       y1="17.40625"
+       x2="30.213068"
+       y2="47.625"
+       gradientUnits="userSpaceOnUse" />
+    <linearGradient
+       inkscape:collect="always"
+       xlink:href="#linearGradient4899"
+       id="linearGradient4907"
+       gradientUnits="userSpaceOnUse"
+       x1="30.463837"
+       y1="50.009491"
+       x2="30.463837"
+       y2="14.947165" />
+  </defs>
+  <sodipodi:namedview
+     id="base"
+     pagecolor="#ffffff"
+     bordercolor="#666666"
+     borderopacity="1.0"
+     inkscape:pageopacity="0.0"
+     inkscape:pageshadow="2"
+     inkscape:zoom="12.296875"
+     inkscape:cx="32"
+     inkscape:cy="32"
+     inkscape:current-layer="layer2"
+     showgrid="true"
+     inkscape:document-units="px"
+     inkscape:grid-bbox="true"
+     showguides="false"
+     inkscape:guide-bbox="true"
+     inkscape:window-width="1280"
+     inkscape:window-height="953"
+     inkscape:window-x="0"
+     inkscape:window-y="0">
+    <sodipodi:guide
+       orientation="horizontal"
+       position="52.545455"
+       id="guide1319" />
+    <sodipodi:guide
+       orientation="horizontal"
+       position="9.4545455"
+       id="guide1321" />
+    <sodipodi:guide
+       orientation="vertical"
+       position="2.5454545"
+       id="guide1323" />
+    <sodipodi:guide
+       orientation="vertical"
+       position="61.636364"
+       id="guide1325" />
+    <sodipodi:guide
+       orientation="vertical"
+       position="12.909091"
+       id="guide1327" />
+    <sodipodi:guide
+       orientation="vertical"
+       position="50.181818"
+       id="guide1329" />
+    <sodipodi:guide
+       orientation="horizontal"
+       position="31.090909"
+       id="guide1331" />
+  </sodipodi:namedview>
+  <metadata
+     id="metadata1312">
+    <rdf:RDF>
+      <cc:Work
+         rdf:about="">
+        <dc:format>image/svg+xml</dc:format>
+        <dc:type
+           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
+      </cc:Work>
+    </rdf:RDF>
+  </metadata>
+  <g
+     id="layer1"
+     inkscape:label="button shadow"
+     inkscape:groupmode="layer"
+     style="display:inline"
+     sodipodi:insensitive="true">
+    <path
+       style="opacity:0.30303034;fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:2.09100008;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:0.53977272;display:inline"
+       d="M 2.3636368,32.334335 L 12.909092,15.46489 L 50.181818,15.3928 L 61.454546,32.766884 L 50.363636,57.492142 L 12.727273,57.564235 L 2.3636368,32.334335 z "
+       id="path4897"
+       sodipodi:nodetypes="ccccccc" />
+  </g>
+  <g
+     inkscape:groupmode="layer"
+     id="layer2"
+     inkscape:label="button"
+     style="display:inline">
+    <path
+       style="fill:url(#linearGradient3093);fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.89050996px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="M 2.3636368,32.334335 L 12.909092,15.46489 L 50.181818,15.3928 L 61.454546,32.766884 L 50.363636,49.492142 L 12.727273,49.564235 L 2.3636368,32.334335 z "
+       id="path1317"
+       sodipodi:nodetypes="ccccccc" />
+  </g>
+  <g
+     inkscape:groupmode="layer"
+     id="layer5"
+     inkscape:label="button darkfade"
+     sodipodi:insensitive="true">
+    <path
+       style="opacity:0.66161613;fill:url(#linearGradient4907);fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.89050996px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;display:inline"
+       d="M 2.3636368,32.334335 L 12.909092,15.46489 L 50.181818,15.3928 L 61.454546,32.766884 L 50.363636,49.492142 L 12.727273,49.564235 L 2.3636368,32.334335 z "
+       id="path5804"
+       sodipodi:nodetypes="ccccccc" />
+  </g>
+  <g
+     inkscape:groupmode="layer"
+     id="layer4"
+     inkscape:label="light"
+     style="display:inline"
+     sodipodi:insensitive="true">
+    <path
+       sodipodi:type="inkscape:offset"
+       inkscape:radius="0"
+       inkscape:original="M 48.0625 17.40625 L 15.09375 17.46875 L 5.78125 32.375 L 14.9375 47.625 L 48.21875 47.5625 L 58.03125 32.75 L 48.0625 17.40625 z "
+       xlink:href="#path2210"
+       style="fill:url(#linearGradient4891);fill-opacity:1;fill-rule:evenodd;stroke:none;stroke-width:0.89050996px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;display:inline"
+       id="path2212"
+       d="M 48.0625,17.40625 L 15.09375,17.46875 L 5.78125,32.375 L 14.9375,47.625 L 48.21875,47.5625 L 58.03125,32.75 L 48.0625,17.40625 z "
+       inkscape:href="#path2210" />
+  </g>
+  <g
+     inkscape:groupmode="layer"
+     id="layer3"
+     inkscape:label="text"
+     style="display:inline">
+    <text
+       xml:space="preserve"
+       style="font-size:13px;font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;text-align:center;line-height:100%;writing-mode:lr-tb;text-anchor:middle;opacity:0.35353537;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Monospace"
+       x="31.191406"
+       y="38.815918"
+       id="text4893"
+       sodipodi:linespacing="100%"><tspan
+         sodipodi:role="line"
+         id="tspan4895"
+         x="31.191406"
+         y="38.815918">REACH</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-size:13px;font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;text-align:center;line-height:100%;writing-mode:lr-tb;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Monospace"
+       x="31.191406"
+       y="36.815918"
+       id="text1333"
+       sodipodi:linespacing="100%"><tspan
+         sodipodi:role="line"
+         id="tspan1335"
+         x="31.191406"
+         y="36.815918">REACH</tspan></text>
+  </g>
+</svg>
diff --git a/gui/images/verify-button.png b/gui/images/verify-button.png
new file mode 100644
index 0000000000000000000000000000000000000000..5e8e1feb041144b21be1bd9f4893529d81eefc8f
GIT binary patch
literal 3919
zcmV-V53ulwP)<h;3K|Lk000e1NJLTq002M$002M;1^@s6s%dfF00004b3#c}2nYxW
zd<bNS0000PbVXQnQ*UN;cVTj60C#tHE@^ISb7Ns}WiD@WXPfRk8UO$e;Ymb6RCt{2
zn|Y8N^>xQTuaB9XJ+<1Eb|tM=t6iN4Wa|QSAdV6O6d@cUps*=$f^pe^?UWo`!cOc0
z6U-GS+_u3S!7d0+a2&vx!x(vygd(9^0wDnsLR#Hg?d}}iGt<BP(cLrMv$K~A*W#d8
z)ivF}{{3FR_kHj8`@Q$NN0d^0mPs3I0S22+0x;MD3^ttvV6X)kY&r?RU<)wVbP|BU
z7GSXHBmjdgz+lr!00vut!6sv%14LxlpD<3mU#;Lg`0Jl*fiYSi<0L<nPT&JI!1PuI
z(qBX>%}8{uQcg2S;Xo-mrf5T`Rk^&wBf57J3c7?^v)N3iZQE0nQV04}BtZSPq=;z1
z-$!F*V{d!<O+(jpGyz=`H1Q5i!foEQCK6~XyzWOI!RzO@1+G0FOBT*Ae`nj)`$gm`
zrIgigz543`A~Mb}%+1&S;Gx*$8FPu6I<s18&_ob%Euo2PNfFmBn&$qB*GKcr?4RfE
z5gzBCYaU;GzWC3|_vuL3WF5uP!v~o+YpR_}CYJ&)^mi)s%L7CtW|+}OTTYv4PMkIe
z6ijOx%A}E1?)`29LJnKRox6E=(D4T_Mldwt(1|3q!-jLy&HrTHefzDCq*AFVz|nr`
z))!DBBEXfAXzYpaKK80vQCUSzd6WyMHRLQ-D6ns-pwJ=#<%0J_3i^flg@BX*2!VSi
z;ueXNjiw0;=AU7Iuxr;-*=+WDrIh_i05IGzBkx>v&9drwi?0-26V9D7lIrqENXXoI
z5R`yrbLUb3PyuKm#eH}0VO$WLqbK4hVDFyYESNvrwye}brPPYP0O)lJh={3a+FjLk
zqbg=Ex<Zt47+q6=X$bLD8VJwpV)HqtMA3VJIbF~v2wEX;itsConRFy9Mvoc8SFgX(
zc;qJ!J|QC0l~Tuh)v-4Z5RrMhX}*5LJx`nU4J|}XjalP{VQ8B7;DW_0sBD4IS|I?z
zMa@%KD`+bQnkK<TG0Zn%rAcS9=$bHR=I8DG`#yfaah&B!sq}yW5RpnF5?wd#oFy$w
zu3N5YBDB<3Ftog+KuPjDfruNOXrK`WM3b;$Il(nwu`o|}S1ACn;8}R%{5F7i%0?5|
z@y>QGzHotMS=KzI)ViJkC^`j1L<hbRiN=~P`tmYODTlI>2)ZV8B`r@-S2$e@Y=gcs
znrBJPx2m^q69yoxw7aJVLG`Vj_Y6N~ASZ+FA>?ntrmm6BWSBT<5?5ULCF9v=pZRwY
znXQyM(QgkBkrv%Bw_LvL&e()$bI>)Ren=Un?kgDxU~-Ci_atw9P0PEr3sl~UZm^U0
z8b2s<fy-OA(DFHub0CTbxaUm*PS!yw2LVo>Hq}0K=-{ou9ZIQep8$wRsbNN6Y@GDD
zd0$$7uc3($iyFit1|pz)?wz-GUJ&2nx-Y2Y!3jorc>u#e=m85O;YiT;nw-ap|11fE
z<Fz|Z7EOfpZ?EIZ%Pvh?mNio;wY}FV;O+Te5Rth{zJ9CWgJWm1WU@{u1U-7-Bi6t1
zA}5X<q`J0_GZ!qOZqyjksRS!t_z#8-uVe1{7l$mFR|cMc<}px;8MEipGI4TFnb%%;
zj`m}RL({CPY6xGr{EKW@`xe``Y-GfU5iGjoQj+mF&;IgBM1)J1Ue55kx)7*JDQ3)^
z$)d%J&ENg@r6)w>Jf&1uj{pEQx*54|{?e}+C1vF(<=`NYRVWc00o@UHZe7chcYK>n
zIv-~!1s7j^J@I%4&pm!G&6B5c#<`0^alR5kX|Q|eJ3RH!Jpi<QyoVc?|IoW9{Q8+E
zd4EUPPz{YuEdHA-Xno@~o_X?7O3TVvaM54!)~Z(Sz2`>&oH=_gHMO-aA0;T?lMwE_
z`(KSey#D&<lF7t1BJ!|O%IOAxh(t6^yQ`{ZMCJ7Jmx@vfrCbyhuJ8yrqWG_${4<%f
z&72FDGI{zOI*uJe*L0Ml$fn(Cma%P=a!}w3gy48f_2#uJU9^YQv2o3tIF94S1PIsO
za1)6{C->a49OXFNeA_*gmX@L%hg2c~fRoL#dBb{Ex2_->jbd3AmSu(bIDT+}V44Q^
z-Tz?Zx@-UT4$HEB3w-G79n8gNiKbt*<oa7oPjgVpRR9+Vl%nm!_h>(SfFZSYjG1^E
zsYEBySSh2&pMp|~Y}Va!)3yaZo4|OKV&j@tO3N!~o-l<YhYry8@op3fr4)AB#<nbQ
zTd=JZY1=}fNO}M?G&b?p%2rmt`9~T?j{(54Q?9YRgP;MG;_P$IX8!#7(O4|@a}g;E
z0U#n(MkM;!DRVB;YetUg#wZBH;r$;0P(6Gk^^Gl@dd4}7J9P#nv9g@d`Dx(`;*VEY
zsU*9$Z(&43BV)!*0AS<)uJWFtIA!W|X3RdzHy^WRpUu?ir+YkH-c8Ldy!hY$$^LzN
zX=-lCJ*%(dz6TyM4a1lRT<WFwIS**aX42zkEWAupj=P0~4kv#kyE*`f#>yDpFcw`m
zDX*-iy0#9->x1t#j+1M155+s1-X@btGpcbcr%gW-5#jCCf6VnOiNz=_FVBHkR$fjl
zR*K`~0hls%8V3)wF}$vxn%ZIR^Bf09xzBR~&kbJ3N=o?0?|<JcDJl6kU}$g+*sW>W
z%db3s$AT-qbFYc-whky!IGUg#C_pz&0PIx4RZ8>bH=rqna(oX^ILbi-_r4NP!sd0W
z09dzb1zR_)1z`K8x5=c_h-tV%O%6i5dF^h!zH^PAG@1G5olk9TEwNZ>-UA#5M+9;5
zNranJsa)>y{BM4f5s?i*GUowGsdzS%x#{4Z_cHHqTp4hC4|8`CgHjA1)r5$!cjq?Z
zCywXbtLwyZeBcO-2~8ywTh^_@Figfzp2~#DQ>m^QMk<+L=et|N{c~)(w^dbDbIyW=
z%$|2Pnyz~Q6im6$THqcpJpVlF)~!n=lgS&EQt_Y%0366>(m#InsULr*>C~B~t{J(q
zqw=>ffwIbK8pcgw@6N3}{DZGEdHNg<@884d=80Tz#aGB?+(oec=wTkc>w9>>Q$K19
z=Pvqd+V<{dRAVz|EnJMD8&nP%!YlvtD>l5fk_nSe<>{Y4z@Y>CN!vC`DQ^GXw;5Vn
z%h$ejlj{vYG#X)aV-ppXm2BI*5r9l4Lpq%f1xs2W;OdBX^4*)4XHu!ua-hvuItV~J
z@JriHUA^MjpEk_B<Qma}QJ)`!YZ|A`J`d$&+4tcNR=)HrM1<zapC=XXB9(Mk>Qpk$
z`jx-WF>e|_nIS`K0jL|<K(wS34QLqaE@JD~w6b{V7g@h%C3`;DnH$&o`pb+M)xcGM
z_cbzU7u<L}PW_0HhzPdrmj6<T1YMn-ZnPQ-x!q~-56ixp$!4?bfLDMHpMNM67LifF
zd4?Hz?6PHd85Ki@=93)pYSx-?aL-OUjvqnSb#z0+)J-af4x_$d4B52Jdz;r{ng-=n
z)wx_C7As{~{YbWNc#DdvY9>yZiipsD^bosuzRRe_CK?)>*#FUo*j9@6V@D8yn%dz+
zBN4`q8_!3(KcMa7k2qt_JR*?@ng|E?@8g4A?=gMmEGnxiLrIk%La$!=CU@L^Tf(xe
z3xIc(Qb&q;0KhR|lTuFW>(4xV)&*C8%g9x3$!B^)YU{C6N#Y&H5EPbZlvNHP74IUO
zu}ND=GPaP4$8*_TSy=_59PCsIqt+zR)#(bWn^;zgLv8!09$Le}wtXZM@mzerZ|@#r
zu^7YZ>Pf`Auu>`FU7gsG2pSNNcagGE#JjrOT!e7KWLYWx<?cH(mSx=y905WFl48kF
zGcaB^%wNyD<jb*<%@cFUOfc2eG(kC8oNOA?jG*gAKJ}G+QW8v+{aQizx_jlgFeUEw
zn(%e#xgtFL;C<OGo3?DStmHRvUz{B13xH~%1-PoDtn!9M*DN!FSynFB4?L)QaU-0u
z`B|eB6P92BBwQZ|rpp8}LJ277gQyh&@!jp)dHk_Ql9pv%1?&LcE36I`D~Ox`x`5wh
z)7GWiR=?ITVfq~DUc@LUe)#S5Qr!u8L~g6@0RSJ^!b*}i&aXKH%W44+$Yj#|;;APx
zmSx=w90pDlD~)vnKq=*jNITGxwyhuS+Pdbx`lbm+Nvt$bkSG)~AUI(w`bzdy6YK^+
z4?Mf^Aq*PIHNZ<Ry^u|()7yYmo>7awC+Mjvd>nVH*o#stwypX7Ia5wQS9bx>x>>H9
zGC{$L^$ndDQ>d_Sab*j6xG^UjXxq=b+qb7}+rHiN=1!$lvfltGr7RKY0=lx9%tOZy
zADDCO@ZnfxO&yZWS6&K*C17oO10ZmZkd=D?3EVZn^Adt!dE<QL9mnC-S6<H8wtYWt
zxZB>7^?UOG-wTEU71^})@UBg(zd3E;R}4gOyj9$T9mLHO{7S9kyQ3>L3KtYr3=AJR
zA3d*s$of8S0mr+i3cSo8zV^+RoOC9;184<OxUbDS{}cc^aNWlS-pHg=OWStu99=(t
zt~=GV9xN9CBB-qLehH2Vc~QZ*B2xf*83P<Uw3qjHY)IQy@`s)d?ZC0#UX=C-fKp0%
zi{S}iSlUY5zIW@Z_gA-^Z<^7Hz#`~MQ#j{)6t>%(_FcStUmpmHwEJx+_gXnwT3@~;
zV_V6GfCP~CjM(0ziF*UUqvN>lQv>W*%6VhYhUd;}KI<mkS3vcmKu+0!!v0(idPm4B
z3f7bGI#9&xJf7QHf97PY_%7fNp6u<w@nHS081?7nXd^Hds04I9Qt=DXv}hl|;mP&M
zQD4lQtev*HuERB07T68!?CrG}^bddv+{kcrzl9xqIu3lOl-k!<$NqdJ)&<0ISJb}*
zQuGq|6jGl6cq^#C82%+tC(xmk>X*U#`<>u%Tu<osZtYV@{kA^z69A=D26s#8F`)RA
zPy#pX?dr3qM+5m%)Xxt-&D3kyTa5Y*fLBHB!bSPhNH(sA4rr|!=qInofhyc63j$T}
z0n#V&Z_Pp;N!-Ba&-$sX4%GESn4V}L!u6+bVV|SLK7#0t1_Z$WNBYcvE`Jh$!4_b!
d=`#<&{{bU|K*e01As7Gv002ovPDHLkV1gdfe|i7_

literal 0
HcmV?d00001

diff --git a/gui/images/verify-button.svg b/gui/images/verify-button.svg
new file mode 100644
index 0000000..6bef56d
--- /dev/null
+++ b/gui/images/verify-button.svg
@@ -0,0 +1,236 @@
+<?xml version="1.0" encoding="UTF-8" standalone="no"?>
+<!-- Created with Inkscape (http://www.inkscape.org/) -->
+<svg
+   xmlns:dc="http://purl.org/dc/elements/1.1/"
+   xmlns:cc="http://web.resource.org/cc/"
+   xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
+   xmlns:svg="http://www.w3.org/2000/svg"
+   xmlns="http://www.w3.org/2000/svg"
+   xmlns:xlink="http://www.w3.org/1999/xlink"
+   xmlns:sodipodi="http://inkscape.sourceforge.net/DTD/sodipodi-0.dtd"
+   xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape"
+   width="64px"
+   height="64px"
+   id="svg1307"
+   sodipodi:version="0.32"
+   inkscape:version="0.43"
+   sodipodi:docbase="/home/cas/svn/scyther/gui/images"
+   sodipodi:docname="verify-button.svg"
+   inkscape:export-filename="/home/cas/svn/scyther/gui/images/verify-button.png"
+   inkscape:export-xdpi="90"
+   inkscape:export-ydpi="90">
+  <defs
+     id="defs1309">
+    <linearGradient
+       id="linearGradient4899">
+      <stop
+         id="stop4901"
+         offset="0"
+         style="stop-color:#0046f2;stop-opacity:1;" />
+      <stop
+         style="stop-color:#020000;stop-opacity:0.87628865;"
+         offset="0.184128"
+         id="stop4909" />
+      <stop
+         id="stop4911"
+         offset="0.4384"
+         style="stop-color:#000000;stop-opacity:0.17525773;" />
+      <stop
+         id="stop4905"
+         offset="1"
+         style="stop-color:#000000;stop-opacity:0;" />
+    </linearGradient>
+    <linearGradient
+       id="linearGradient3097">
+      <stop
+         style="stop-color:#ffffff;stop-opacity:1;"
+         offset="0"
+         id="stop3099" />
+      <stop
+         style="stop-color:#ffffff;stop-opacity:0;"
+         offset="0.34"
+         id="stop9319" />
+      <stop
+         style="stop-color:#ffffff;stop-opacity:0.01030928;"
+         offset="1"
+         id="stop3101" />
+    </linearGradient>
+    <linearGradient
+       id="linearGradient3087">
+      <stop
+         style="stop-color:#7aa9d1;stop-opacity:1;"
+         offset="0"
+         id="stop3089" />
+      <stop
+         style="stop-color:#ffffff;stop-opacity:1;"
+         offset="1"
+         id="stop3091" />
+    </linearGradient>
+    <linearGradient
+       inkscape:collect="always"
+       xlink:href="#linearGradient3087"
+       id="linearGradient3093"
+       x1="1.9183818"
+       y1="32.478516"
+       x2="61.899799"
+       y2="32.478516"
+       gradientUnits="userSpaceOnUse" />
+    <linearGradient
+       inkscape:collect="always"
+       xlink:href="#linearGradient3097"
+       id="linearGradient4891"
+       x1="30.326704"
+       y1="17.40625"
+       x2="30.213068"
+       y2="47.625"
+       gradientUnits="userSpaceOnUse" />
+    <linearGradient
+       inkscape:collect="always"
+       xlink:href="#linearGradient4899"
+       id="linearGradient4907"
+       gradientUnits="userSpaceOnUse"
+       x1="30.463837"
+       y1="50.009491"
+       x2="30.463837"
+       y2="14.947165" />
+  </defs>
+  <sodipodi:namedview
+     id="base"
+     pagecolor="#ffffff"
+     bordercolor="#666666"
+     borderopacity="1.0"
+     inkscape:pageopacity="0.0"
+     inkscape:pageshadow="2"
+     inkscape:zoom="12.296875"
+     inkscape:cx="32"
+     inkscape:cy="32"
+     inkscape:current-layer="layer2"
+     showgrid="true"
+     inkscape:document-units="px"
+     inkscape:grid-bbox="true"
+     showguides="false"
+     inkscape:guide-bbox="true"
+     inkscape:window-width="1280"
+     inkscape:window-height="953"
+     inkscape:window-x="0"
+     inkscape:window-y="0">
+    <sodipodi:guide
+       orientation="horizontal"
+       position="52.545455"
+       id="guide1319" />
+    <sodipodi:guide
+       orientation="horizontal"
+       position="9.4545455"
+       id="guide1321" />
+    <sodipodi:guide
+       orientation="vertical"
+       position="2.5454545"
+       id="guide1323" />
+    <sodipodi:guide
+       orientation="vertical"
+       position="61.636364"
+       id="guide1325" />
+    <sodipodi:guide
+       orientation="vertical"
+       position="12.909091"
+       id="guide1327" />
+    <sodipodi:guide
+       orientation="vertical"
+       position="50.181818"
+       id="guide1329" />
+    <sodipodi:guide
+       orientation="horizontal"
+       position="31.090909"
+       id="guide1331" />
+  </sodipodi:namedview>
+  <metadata
+     id="metadata1312">
+    <rdf:RDF>
+      <cc:Work
+         rdf:about="">
+        <dc:format>image/svg+xml</dc:format>
+        <dc:type
+           rdf:resource="http://purl.org/dc/dcmitype/StillImage" />
+      </cc:Work>
+    </rdf:RDF>
+  </metadata>
+  <g
+     id="layer1"
+     inkscape:label="button shadow"
+     inkscape:groupmode="layer"
+     style="display:inline"
+     sodipodi:insensitive="true">
+    <path
+       style="opacity:0.30303034;fill:#000000;fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:2.09100008;stroke-linecap:butt;stroke-linejoin:miter;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:0.53977272;display:inline"
+       d="M 2.3636368,32.334335 L 12.909092,15.46489 L 50.181818,15.3928 L 61.454546,32.766884 L 50.363636,57.492142 L 12.727273,57.564235 L 2.3636368,32.334335 z "
+       id="path4897"
+       sodipodi:nodetypes="ccccccc" />
+  </g>
+  <g
+     inkscape:groupmode="layer"
+     id="layer2"
+     inkscape:label="button"
+     style="display:inline">
+    <path
+       style="fill:url(#linearGradient3093);fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.89050996px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1"
+       d="M 2.3636368,32.334335 L 12.909092,15.46489 L 50.181818,15.3928 L 61.454546,32.766884 L 50.363636,49.492142 L 12.727273,49.564235 L 2.3636368,32.334335 z "
+       id="path1317"
+       sodipodi:nodetypes="ccccccc" />
+  </g>
+  <g
+     inkscape:groupmode="layer"
+     id="layer5"
+     inkscape:label="button darkfade"
+     sodipodi:insensitive="true">
+    <path
+       style="opacity:0.66161613;fill:url(#linearGradient4907);fill-opacity:1;fill-rule:evenodd;stroke:#000000;stroke-width:0.89050996px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;display:inline"
+       d="M 2.3636368,32.334335 L 12.909092,15.46489 L 50.181818,15.3928 L 61.454546,32.766884 L 50.363636,49.492142 L 12.727273,49.564235 L 2.3636368,32.334335 z "
+       id="path5804"
+       sodipodi:nodetypes="ccccccc" />
+  </g>
+  <g
+     inkscape:groupmode="layer"
+     id="layer4"
+     inkscape:label="light"
+     style="display:inline"
+     sodipodi:insensitive="true">
+    <path
+       sodipodi:type="inkscape:offset"
+       inkscape:radius="0"
+       inkscape:original="M 48.0625 17.40625 L 15.09375 17.46875 L 5.78125 32.375 L 14.9375 47.625 L 48.21875 47.5625 L 58.03125 32.75 L 48.0625 17.40625 z "
+       xlink:href="#path2210"
+       style="fill:url(#linearGradient4891);fill-opacity:1;fill-rule:evenodd;stroke:none;stroke-width:0.89050996px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;display:inline"
+       id="path2212"
+       d="M 48.0625,17.40625 L 15.09375,17.46875 L 5.78125,32.375 L 14.9375,47.625 L 48.21875,47.5625 L 58.03125,32.75 L 48.0625,17.40625 z "
+       inkscape:href="#path2210" />
+  </g>
+  <g
+     inkscape:groupmode="layer"
+     id="layer3"
+     inkscape:label="text"
+     style="display:inline"
+     sodipodi:insensitive="true">
+    <text
+       xml:space="preserve"
+       style="font-size:13px;font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;text-align:center;line-height:100%;writing-mode:lr-tb;text-anchor:middle;opacity:0.35353537;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Monospace"
+       x="31.191406"
+       y="38.815918"
+       id="text4893"
+       sodipodi:linespacing="100%"><tspan
+         sodipodi:role="line"
+         id="tspan4895"
+         x="31.191406"
+         y="38.815918">CLAIM</tspan></text>
+    <text
+       xml:space="preserve"
+       style="font-size:13px;font-style:normal;font-variant:normal;font-weight:bold;font-stretch:normal;text-align:center;line-height:100%;writing-mode:lr-tb;text-anchor:middle;fill:#000000;fill-opacity:1;stroke:none;stroke-width:1px;stroke-linecap:butt;stroke-linejoin:miter;stroke-opacity:1;font-family:Monospace"
+       x="31.191406"
+       y="36.815918"
+       id="text1333"
+       sodipodi:linespacing="100%"><tspan
+         sodipodi:role="line"
+         id="tspan1335"
+         x="31.191406"
+         y="36.815918">CLAIM</tspan></text>
+  </g>
+</svg>