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

...
---

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index aed2cf93c..577f094de 100644
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -60,9 +60,6 @@ TODO
   - keybinding globali: CTRL-{su,giu,...} devono fungere anche quando altre
     finestre hanno il focus (e.g. cicBrowser). C'e' gia' da qualche parte il
     codice che aggiunge i keybinding a tutte le eventBox, e' da ripristinare
-  - quando si sposta il punto di esecuzione dello script cambiare la parte di
-    script visibile nella finestra dello script (finche' l'utente non lo
-    modifica lui, tipo agendo sulla scrollbar)
   - fare "matita foo" (dove foo non esiste), cambiare qualcosa e uscire senza
     salvare. In verita' foo e' stato scritto lo stesso!
   - script outline -> Zack
@@ -77,17 +74,19 @@ TODO
   GUI LOGICA
   - matitaclean all (o matitamake cleanall) dovrebbe radere al suolo la
     directory .matita
-  - tornare indietro (verso il cursore) in matita dovrebbe essere O(1) e non un
-    Undo passo passo (sembra che il collo di bottiglia sia fare iterare su ogni
-    uri da togliere (accorpare almeno il lavoro sul db magari aiuta).
-  - freeze durante avanzamento
   - notazione -> Luca e Zack
-  - gestione dei path per include: il path deve essere assoluto? da decidere ...
-    ( -I ?? o chiedere a matitamake la root e farci una find? )
   - copiare nel .moo la baseuri e poi il matitaclean la legge da li e non dal
     .ma (si evita il syntax error)
 
 DONE
+- gestione dei path per include: il path deve essere assoluto? da decidere ...
+  ( -I ?? o chiedere a matitamake la root e farci una find? ) -> Gares
+- freeze durante avanzamento -> Gares, CSC
+- tornare indietro (verso il cursore) in matita dovrebbe essere O(1) e non un
+  Undo passo passo (sembra che il collo di bottiglia sia fare iterare su ogni
+  uri da togliere (accorpare almeno il lavoro sul db magari aiuta) -> Gares, CSC
+- quando si sposta il punto di esecuzione dello script cambiare la parte di
+  script visibile nella finestra dello script -> Gares, CSC
 - find & replace -> Gares
 - Bug di cut&paste: se si fa cut&paste di testo lockato si ottiene testo
   lockato! -> Gares