From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 20 Jul 2005 16:14:36 +0000 (+0000)
Subject: ...
X-Git-Tag: V_0_7_2~142
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f9887ac52c320b4e4165633d7802cd5f4a6f6e3c;p=helm.git

...
---

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