...

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 38e204aa27f9ca8556a3eeacf569d9ff28b59e7b..31f06a027e43ba451ee4b36708474458b6448ff7 100644 (file)
--- 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