- A few suggestions on how to solve a few bugs

- GUI bugs reordered to have the easiest first

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 577f094de69e7c5a4b0610d23d23e90f17fad75e..71b54b0d91204e7acbfbda06faeace35a1c7d598 100644 (file)
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -46,30 +46,38 @@ TODO
 
 
   GUI GRAFICA
-  - bug di refresh del widget quando si avanza ("swap" tra la finestra dei
-    sequenti e la finestra dello script)
-  - 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)
-  - Implementare menu edit: cut/copy/undo/etc.
+  - menu contestuale (tasto dx) nel sequent viewer -> attende notazione
+  - highlight degli errori di parsing nello script (usando lo sfondo come per la
+    parte lockata di testo, da ripulire quando si modifica il testo o si sposta
+    il punto di esecuzione)
+  - fare in modo che il testo caricato inizialmente da matita non sia
+    undoable (usando i metodi begin/end_not_undoable_action di gtk_source_view)
+  - salvare la parte di testo lockata dagli effetti di undo/redo (come?????)
+    con ctrl-Z. Una possibilita' e' usare la coppia
+    begin/end_not_undoable_action di gtk_source_view nella moveMark (visto
+    che la coppia fa anche clear completo dello stack di Undo). Un'alternativa
+    differente (ma sicuramente piu' complessa e forse poco utile) e' trovare
+    il modo di fare undo logico fino a quando il posto dove fare undo fisico
+    (qual'e'?) ma ignoro come si potrebbe fare.
   - invertibilita' dell'inserimento automatico di alias: quando si torna
     su bisognerebbe tornare su di un passo e non fare undo degli alias
     (Zack: nella history ci sono anche gli offset per sapere a che pezzo di
     script uno stato appartiene)
+  - Implementare menu edit: cut/copy/undo/etc.
   - keybinding globali: CTRL-{su,giu,...} devono fungere anche quando altre
     finestre hanno il focus (e.g. cicBrowser). C'e' gia' da qualche parte il
     codice che aggiunge i keybinding a tutte le eventBox, e' da ripristinare
   - fare "matita foo" (dove foo non esiste), cambiare qualcosa e uscire senza
     salvare. In verita' foo e' stato scritto lo stesso!
+
+  - bug di refresh del widget quando si avanza ("swap" tra la finestra dei
+    sequenti e la finestra dello script)
+  - 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)
   - script outline -> Zack
-  - menu contestuale (tasto dx) nel sequent viewer -> attende notazione
   - riattaccare hbugs (brrr...)                             -> Zack
-  - highlight degli errori di parsing nello script (usando lo sfondo come per la
-    parte lockata di testo, da ripulire quando si modifica il testo o si sposta
-    il punto di esecuzione)
-  - salvare la parte di testo lockata dagli effetti di undo/redo (come?????)
-    con ctrl-Z
 
   GUI LOGICA
   - matitaclean all (o matitamake cleanall) dovrebbe radere al suolo la