From: Claudio Sacerdoti Coen Date: Wed, 20 Jul 2005 12:48:09 +0000 (+0000) Subject: ... X-Git-Tag: V_0_7_2~154 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=6eb315c4e26258612bcb352dc76defd78c01d5f0;p=helm.git ... --- diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt index c543f790c..d0b547e34 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 @@ -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