...

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 19c78922ff19a1498a20f7080ef19d75fdef1196..9372b0a12c137bcba9377f54afca2bd890563650 100644 (file)
--- 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