From 17148ecde4a835d3861436cc0702a5f7bac67751 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 19 Jul 2005 12:59:27 +0000 Subject: [PATCH] ... --- helm/matita/matita.txt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt index 71b54b0d9..2124c9be0 100644 --- a/helm/matita/matita.txt +++ b/helm/matita/matita.txt @@ -46,7 +46,6 @@ TODO GUI GRAFICA - - menu contestuale (tasto dx) nel sequent viewer -> attende notazione - 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) @@ -70,6 +69,7 @@ TODO - fare "matita foo" (dove foo non esiste), cambiare qualcosa e uscire senza salvare. In verita' foo e' stato scritto lo stesso! + - menu contestuale (tasto dx) nel sequent viewer -> attende notazione - bug di refresh del widget quando si avanza ("swap" tra la finestra dei sequenti e la finestra dello script) - feedback su hyperlink nei sequenti e nel browser: rendere visibili gli -- 2.39.2