X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fmatita%2Fmatita.txt;h=38e204aa27f9ca8556a3eeacf569d9ff28b59e7b;hb=1bcad789810fd37d346e690f18557aeedc6fe08c;hp=c543f790cddf7a36ac268da42debda9174da98f6;hpb=d61489b9d7af054797e8f99becacaa2d96f0bb7c;p=helm.git

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index c543f790c..38e204aa2 100644
--- 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
@@ -61,6 +57,7 @@ TODO
     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!
+  - sensitiveness per copy/paste/cut/delete nel menu Edit
 
   - menu contestuale (tasto dx) nel sequent viewer -> attende notazione
   - bug di refresh del widget quando si avanza ("swap" tra la finestra dei
@@ -82,6 +79,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