...

[helm.git] / helm / matita / matita.txt

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 67cc45c5a11820749a74253295b5f53536bd8b81..899ad7d386d5a2db8b45e35f4c481f68832f6b0b 100644 (file)
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -44,6 +44,8 @@ TODO
 
 
   GUI GRAFICA
+  - quando si fa una locate nel cicbrowser viene mangiato un pezzo di testo
+    dalla finestra principale!!!
   - 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)