...

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index c543f790cddf7a36ac268da42debda9174da98f6..d0b547e345823f4d775aa36f5f97ee9ad691e035 100644 (file)
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -48,10 +48,6 @@ TODO
   - 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 con
-    (shift-)ctrl-Z e anche usando il menu che si apre con il tasto destro.
   - 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
@@ -82,6 +78,11 @@ TODO
   - non chiudere transitivamente i moo ?? 
 
 DONE
+- salvare la parte di testo lockata dagli effetti di undo/redo con
+  (shift-)ctrl-Z e anche usando il menu che si apre con il tasto destro -> CSC
+- 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)
+  -> Gares
 - Implementare menu edit: cut/copy/undo/etc. -> CSC
 - gestione dei path per include: il path deve essere assoluto? da decidere ...
   ( -I ?? o chiedere a matitamake la root e farci una find? ) -> Gares