New menus Undo/Redo (bugged), Cut/Copy/Paste/Delete.

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

diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt
index 92626557c11550148ccb4eb6485bb8e05cf3f5c1..2af7046457d42ab3ad9ec4c6b57e58739000320a 100644 (file)
--- a/helm/matita/matita.txt
+++ b/helm/matita/matita.txt
@@ -60,7 +60,6 @@ TODO
     su bisognerebbe tornare su di un passo e non fare undo degli alias
     (Zack: nella history ci sono anche gli offset per sapere a che pezzo di
     script uno stato appartiene)
-  - Implementare menu edit: cut/copy/undo/etc.
   - 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
@@ -87,6 +86,7 @@ TODO
   - non chiudere transitivamente i moo ?? 
 
 DONE
+- Implementare menu edit: cut/copy/undo/etc. -> CSC
 - 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