From 8196005571cabe243e658b08a71ffe7df6efa1d7 Mon Sep 17 00:00:00 2001
From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Thu, 9 Jun 2011 15:27:04 +0000
Subject: [PATCH] Fixes bugs in the  Matitaweb UI.

---
 matitaB/matita/index.html | 15 +++++++++++----
 1 file changed, 11 insertions(+), 4 deletions(-)

diff --git a/matitaB/matita/index.html b/matitaB/matita/index.html
index 27f90b66a..f713edb17 100644
--- a/matitaB/matita/index.html
+++ b/matitaB/matita/index.html
@@ -12,10 +12,17 @@
 <tr>
 <td style="padding: 0px; width:67%; border-style: none;">
 	<textarea id="unescape" style="display:none;"></textarea>
-	<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>
+	<p><A href="javascript:advanceForm1()"><IMG src="icons/advance.png" 
+                                                    id="advance" alt="Advance" 
+                                                    title="Execute one step of the script."></A>
+	   <A href="javascript:retract()"><IMG src="icons/retract.png" 
+					       id="retract" alt="Retract"
+                                               title="Undo execution of one step of the script."></A>
+	   <A href="javascript:gotoPos()"><IMG src="icons/position.png" 
+                                               id="cursor" alt="Play"
+                                               title="Execute the script until the current position of the cursor."></A>
+	   <A href="javascript:gotoBottom()"><IMG src="icons/bottom.png" 
+                                                  id="bottom" 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()">
-- 
2.39.2