From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 25 Jul 2005 10:37:26 +0000 (+0000)
Subject: ...
X-Git-Tag: V_0_7_2~88
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=285dab66a958168b70cbfb8dbf66284745c94ee8;p=helm.git

...
---

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 19c78922f..9372b0a12 100644
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -62,16 +62,17 @@ TODO
   - sensitiveness per copy/paste/cut/delete nel menu Edit
   - sensitiveness per goto begin/end/etc.
 
-  - menu contestuale (tasto dx) nel sequent viewer -> attende notazione
-  - bug di refresh del widget quando si avanza ("swap" tra la finestra dei
-    sequenti e la finestra dello script)
+  - menu contestuale (tasto dx) nel sequent viewer
   - feedback su hyperlink nei sequenti e nel browser: rendere visibili gli
     hyperlink (cursore a "manina"? hyperlink evidenziati?). La maction che
     collassa la prova e' fastidiosa: la prova si chiude se non si clicca
     correttamente su un hyperlink (anche tooltip sui bottoni)
+
+  - bug di refresh del widget quando si avanza ("swap" tra la finestra dei
+    sequenti e la finestra dello script)
   - che farne della palette delle tattiche?
   - script outline -> Zack
-  - riattaccare hbugs (brrr...)                             -> Zack
+  - riattaccare hbugs (brrr...) -> Zack
 
   GUI LOGICA
   - matitamake foo/a.ma non funziona; bisogna chiamarlo con