From 12991316d484b80d149891d2a150e5703282c60c Mon Sep 17 00:00:00 2001
From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Wed, 8 Jun 2011 15:52:31 +0000
Subject: [PATCH] Cosmetic changes.

---
 matitaB/matita/icons/advance.png  | Bin 0 -> 725 bytes
 matitaB/matita/icons/bottom.png   | Bin 0 -> 778 bytes
 matitaB/matita/icons/position.png | Bin 0 -> 675 bytes
 matitaB/matita/icons/retract.png  | Bin 0 -> 868 bytes
 matitaB/matita/index.html         |   8 ++++----
 matitaB/matita/matitaweb.js       |   2 +-
 6 files changed, 5 insertions(+), 5 deletions(-)
 create mode 100644 matitaB/matita/icons/advance.png
 create mode 100644 matitaB/matita/icons/bottom.png
 create mode 100644 matitaB/matita/icons/position.png
 create mode 100644 matitaB/matita/icons/retract.png

diff --git a/matitaB/matita/icons/advance.png b/matitaB/matita/icons/advance.png
new file mode 100644
index 0000000000000000000000000000000000000000..fbac430fa35ae8b55beb1d0706285f3801dea995
GIT binary patch
literal 725
zcmV;`0xJE9P)<h;3K|Lk000e1NJLTq002M$002M;0ssI2B@5<>00001b5ch_0Itp)
z=>Px#1ZP1_K>z@;j|==^1poj532;bRa{vGi!vFvd!vV){sAK>D0%}P_K~!i%?OIE2
z!ypjNeR7`M$7ku%%iJJGu;c@H*+nF05y^`z90o8S2W*CqQ>v+|DwPeqH}eJ_)1FR0
zzjc4tjh;oH2z*<ClmW^>;x<SUS|oIR_H)?R_&g^@-5j1R1OJ4;c60^FKb-+0fR;3R
zfUo{S<Pq`?w!Vpgy^T^0pcR20Ks7+;fbD-tLbMBEPp;MbBq5RzNhniWA;f8hyn{^$
zzK9>~#??2(%=v~74?LLI*5YOGpok^V-eQFiLz-t<ap=2y)Fe8S@#qtqy9pdJp-&`W
z=3z!CI3N0S0(cHt(Ptrm;gB1BE&^d33ZTzOV2?u?^mz&RITS;moq&r&N%SQM*c>M1
zJCaVT4TBVQi0&Wzw%2$y*Zm=pNFs*?c*b-0;)bat`a%*?K{<C*!Ptu+mdn6FGas}}
zfaD^PL=Gzl2s<+oD7HTarh+n1Uj~@BnJ$6(J>WHugt!B9-x6yez+6B-OuakO6%e>L
zBQr4U=d3N{ZIYd!ff-DY5VLElp#ruC(q;C%lm!C9jr2vX2^X`pcqd=xJ;mmb5NiO6
z{uBc(Rm4C@Kztcq1MI16V+q3c0{W?;Mu>u_A3dQ2pcdt!L3r;^0-zt+t6G-PXvEq!
z2xDy>Mg315rsS5-)`Y;^8aV6R?(gy+Z>(FNK*mi#sz?)t-tDqMX;#4m5S=9>+iL==
z*oa>N*@uLf5&-4YD*YH^;X)$?<|1HBs3jD)JFf_srO6*j6{!^W-J==RIRJ%j{@qt!
z#8|Cw5U@03hDPiZm^;wE$PPG+QkEbB^?9LhBVOsPb_u-!$z^)T+|^fO00000NkvXX
Hu0mjfJ9smT

literal 0
HcmV?d00001

diff --git a/matitaB/matita/icons/bottom.png b/matitaB/matita/icons/bottom.png
new file mode 100644
index 0000000000000000000000000000000000000000..9bcb7aad5f791d203540d97f4c2ec403b000219d
GIT binary patch
literal 778
zcmV+l1NHogP)<h;3K|Lk000e1NJLTq002M$002M;0ssI2B@5<>00001b5ch_0Itp)
z=>Px#1ZP1_K>z@;j|==^1poj532;bRa{vGi!vFvd!vV){sAK>D0-s4lK~!i%?V3Su
zqc9YP%?t}9B7u}ecV!PzdIN5dUCAzI3AxH-m&}eEWKJ+uVNX}h0tqA{QHiQ!1Cz-#
zq2ghKot7vID|*lVzxUh7*pbkWXLQY<Z`UlIXdeK0J2*HnI6zr}VG2<ekUD*EfVzZ~
z9egPV3~gh8>ZQ1Ma`Oc1Zv3{m!QV$n7R&+1z5y|q(=kX*bJ}Ah3;?G=8LW;OzyP8#
zv;h!`p(TJg4DA5~VW0vKfq@o)I|Bm%z6@*tI5IE;;KjfafC~d-fc_cS1N6+$2>@X*
z6wubvx>Zb2!r$Od0Jgimw9A_7@gE||OM~VKCz0#{u=;rj(1O)Ze&>LM|3euA^sFAU
zumtE|Jxc&C>X`xXQqKl}qk0AaeAUwea92+SAcFe#0D`D*2_TO8HUL7Y2LnLW2Xy<K
zCL1JaxT$YarVe9RZst0aS>N>lz@_Y+zLE7zG)$qM3w}1-XLCSyXXK)@!F4B&9J_j1
zkkfYGj+{G?ue`mq-b>yAO;x9FJ>c=)Z6$CmHS{ZTV}uOtZTdR#QXlt;+je!*R&0kz
z$(LpM<7|r*r)nQa{QF=Wq-<t#kf=*?PoB-!FU~^4rJ+0#Dp}7RkeB5wvK9X+BkJ|h
zqb(n8F>O3^a@UJiap9Gh%>T7h|3Yvvj;`J(5jJ)nDw~BGkVG~P*H58!5=_VBUS9id
zg$LpZsdu^x<$I(44+OQr*{V2x3z8g_y~WwjShlKF1fDs^gb$uV*)~L`enD#x15N@#
z!7VsG08ktQk>Qh9-%zUujy_r%d63i(1PX4U_bjD;4J<VCAtJ}LaXQ)M)xwym!LC^1
zDBnII^5bk|owhFrvrt;o$M8baVR0LE{n@q>ji7}Jx_Srx03{!I{P<VTPyhe`07*qo
IM6N<$g7!~M&j0`b

literal 0
HcmV?d00001

diff --git a/matitaB/matita/icons/position.png b/matitaB/matita/icons/position.png
new file mode 100644
index 0000000000000000000000000000000000000000..1beaf89a8e93bb766c59d9f440ea701fdc815bd6
GIT binary patch
literal 675
zcmV;U0$lxxP)<h;3K|Lk000e1NJLTq002M$002M;0ssI2B@5<>00001b5ch_0Itp)
z=>Px#1ZP1_K>z@;j|==^1poj532;bRa{vGi!vFvd!vV){sAK>D0ys%TK~!i%?U_4n
z!axv)*NG)887Y=1=<FUx&I!T|=rA2;!CWP&g6X&cHwXgvP8A9ykP^vAj>wva6Pbtn
zm>G*?tt~yf|2O}vAF~pBdS};s-CVQyNV@<i+d<)gaG+oYL<tp4VBv7#K;aY?oIp76
zlR(9JkPD_WM>wPd4XZXKXMhCY`7_BGfC1<k-~oskPyi?yumH#y5CLcyZ~+Jy&;hU+
zC;(6yhyd^y=m3xyNC7Yyr~$wkN&tu$bj8f^>3k}r1c2FOA&ov}R|>$@-@k@H;>mlX
z;Oa@6yBO-}0FcxZ0pO{p06<lb4uGv57l1%LA^?qgEC4d~C;*h|;Q@%%0|R)_-#KYM
znIv&ipC(O+_muEI081kPVDp)MHsL__oWVx?4+qSL5>D?@8kKNBc3SmKcR%Ql98-$^
zecOo=a>sM&nU9rc)doh6IY~n<?18}bSwl;lT`PlwKbvmN(ITyOvmSfJi*3_XC<)F3
zXw{w(4*f(ED(FP!Y{xk4Jyv;#(Dj2ut5CLe)}I6=1MrMS+n}X-<At+KiivW(Ga=5j
zzjn2X&E3$HHe0(#A*ehT_Q1U3A1$p_U#xI%!szqR-wgT_);46*sIa#Hs_B^$JL7xc
z?$%s>dE2>dON~3sGk?u=wWqVAl1nKg|7{ro{8eYAPPZjAV1XO2y9|a*vB~R)uMhS^
z!*`DDpQ^h2$xRiR(SdVwMvtuMu}gn}IY2Lcw<3@OWy${o0N;KI&p7HH)GYu2002ov
JPDHLkV1ggkAFKcX

literal 0
HcmV?d00001

diff --git a/matitaB/matita/icons/retract.png b/matitaB/matita/icons/retract.png
new file mode 100644
index 0000000000000000000000000000000000000000..243cf07ba6dbc5a1cd5cebaedd17f4e9dcc8d66e
GIT binary patch
literal 868
zcmV-q1DpJbP)<h;3K|Lk000e1NJLTq002M$002M;0ssI2B@5<>00001b5ch_0Itp)
z=>Px#1ZP1_K>z@;j|==^1poj532;bRa{vGi!vFvd!vV){sAK>D0{KZqK~!i%?OM%l
zsz4MT?j_L#6G&Wi$-Wr+1nnERgsyxR^;NE`%F;KmPf#P>b63}e2_%}>1k*b(0#jiq
z3}@1q3~{A1hwtZ{ftjO%{`^C?eEqs*@CkNF;HMpw4oC+&Dj-v+UO-ddKByfvuAeT_
z0aO2c>Ra|uC<kE#QuIVTp&Y~zDA1q0Kr9CV1Ss_GB68O|S0o2$0$<U4X$pBFIe-$V
zLQl$o=8)G0$m#?~fQ|l&1ET7?I|m>FIi~P9T0|ss%2)0KAO{EnH2T%SuT>SCLuUeQ
z(2K~WZUow+2j{>~z<L;7))Sof-(`-tdQkW_^%(uuu6#?2=d1lJWYvK>8xN;O)vrOM
ztWO+^5|0CH^c(=PDZFbdj{}yW`e9rGOVn-R0Aq~VcY+gZ31(@-<3JVq4%+8a+oQ)*
zc?dv&1&bjGfJw<2NIJkN9N0AJ0GO1VfusYR!hubb4uDC?8Av+7DIC}|=>V9NoPloM
z0iGQhLo4=v_j*G8uC1LF(t&n*!H>Rq2P6Ubq-YmWI?zrp_|eh<cum_yymA0PP47M@
z<TIQZtXRoIm;GxK1l=QC?ov)6{G8t@i=DELr(@k|0_I1@T)hinVRZCL4*2`aNzY3=
zcEx#ma*7`pXZ%TP<K&F>`v^Iv>TmX=H+4D5X;be!#pyZzGD448mw>A|LMz55fNyD^
zlh%td*gm4?v<Krn-8lj7ywg0>cetpkJ&{L9w9wwaG(PAEog6HukUAx0K+t3P&7Ngw
z+q5v2Cb~DujhT49DVi%u>xooR_Gb@d_MGs;OI(G&ST(SpBkd*ss}If`TovhO^j2<d
zP_T@_iygaU@akCKas^?-dJe?1*CVnuT*Q9x;bRFK-cA2)h3EHluw!c$nH8OVqvtT!
zw1%Ophp``I;b9*1r`Uw>@VvpLNw2N3_ZKCZHXd9c=D~x=jk0`0S-&WWkd7}_XLf{^
ubO3i`E$<98T)s*G3CSHsI>0R*(8T``&t!oDK9`mN0000<MNUMnLSTXt_JuzH

literal 0
HcmV?d00001

diff --git a/matitaB/matita/index.html b/matitaB/matita/index.html
index 8a3641863..27f90b66a 100644
--- a/matitaB/matita/index.html
+++ b/matitaB/matita/index.html
@@ -12,10 +12,10 @@
 <tr>
 <td style="padding: 0px; width:67%; border-style: none;">
 	<textarea id="unescape" style="display:none;"></textarea>
-	<p><INPUT type="BUTTON" value="advance" id="advance" ONCLICK="advanceForm1()">
-	   <INPUT type="BUTTON" value="go back" id="retract" ONCLICK="retract()">
-	   <INPUT type="BUTTON" value="go to cursor" id="cursor" ONCLICK="gotoPos()">
-	   <INPUT type="BUTTON" value="bottom" id="bottom" ONCLICK="gotoBottom()"> &nbsp;
+	<p><A href="javascript:advanceForm1()"><IMG src="icons/advance.png" alt="Advance" title="Execute one step of the script."></A>
+	   <A href="javascript:retract()"><IMG src="icons/retract.png" alt="Retract" title="Undo execution of one step of the script."></A>
+	   <A href="javascript:gotoPos()"><IMG src="icons/position.png" alt="Play" title="Execute the script until the current position of the cursor."></A>
+           <A href="javascript:gotoBottom()"><IMG src="icons/bottom.png" alt="Bottom" title="Execute the whole script."></A>
 	<INPUT type="TEXT" id="filename" value=""><INPUT type="BUTTON" value="Open" ONCLICK="openFile()"></p>
 	   <INPUT type="BUTTON" value="show sequent" id="showseq" ONCLICK="showSequent()">
 	   <INPUT type="BUTTON" value="hide sequent" id="hideseq" ONCLICK="hideSequent()">
diff --git a/matitaB/matita/matitaweb.js b/matitaB/matita/matitaweb.js
index ecb0133c3..d4dbe63e8 100644
--- a/matitaB/matita/matitaweb.js
+++ b/matitaB/matita/matitaweb.js
@@ -428,7 +428,7 @@ function openFile()
 	{
 	        if (is_defined(xml)) {	
 	        	locked.innerHTML = "";
-	                unlocked.innerHTML = xml.documentElement.firstChild.data;
+	                unlocked.innerHTML = xml.documentElement.textContent;
 		} else {
 			debug("file open failed");
 		}
-- 
2.39.2