From f9887ac52c320b4e4165633d7802cd5f4a6f6e3c Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 20 Jul 2005 16:14:36 +0000 Subject: [PATCH] ... --- helm/matita/matita.txt | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt index 38e204aa2..31f06a027 100644 --- a/helm/matita/matita.txt +++ b/helm/matita/matita.txt @@ -44,7 +44,6 @@ TODO GUI GRAFICA - - icone standard per zoom-in/out/= - 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) @@ -79,6 +78,8 @@ TODO - non chiudere transitivamente i moo ?? DONE +- icone standard per zoom-in/out/= e piu' aderenza alle Gnome Interface + Guidelines (e.g. about dialog) -> CSC - 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 -- 2.39.2