From 3174ea6822b2adc68be84428c883e240b5281433 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Thu, 7 Jul 2005 17:02:21 +0000 Subject: [PATCH] added some other items --- helm/matita/matita.txt | 14 ++++++++++---- 1 file changed, 10 insertions(+), 4 deletions(-) diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt index 5fa458602..1cc909e13 100644 --- a/helm/matita/matita.txt +++ b/helm/matita/matita.txt @@ -34,12 +34,18 @@ TODO Capita quando un tipo dall'environment (e.g. \lambda x.T) viene inserito in un contesto (e.g. x:nat) dove le variabili sono gia' state legate in precedenza. -- script outline -> Zack +- script outline -> Zack - cicBrowser: riagganciare(?) resa di termini scritti - nella URL(??) -> -- menu contestuale (tasto dx) nel sequent viewer - -> attende notazione + nella URL(??) +- menu contestuale (tasto dx) nel sequent viewer -> attende notazione - riattaccare hbugs (brrr...) -> Zack +- gestione dei path per include: il path deve essere assoluto? da decidere ... +- 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) +- salvare la parte di testo lockata dagli effetti di undo/redo (come?????) +- supportare l'apertura di piu' script contemporaneamente in tab/finestre + diversi/e DONE - controllo per script modificato o meno prima di uscire -> Gares -- 2.39.2