From 2f3ced3c4fd4bca1aaeb0c95f64e1b4ec7ea2f46 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 25 Jul 2005 13:50:28 +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 c08253e82..8c7e574f9 100644 --- a/helm/matita/matita.txt +++ b/helm/matita/matita.txt @@ -59,7 +59,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 - - sensitiveness per goto begin/end/etc. (???) - menu contestuale (tasto dx) nel sequent viewer - feedback su hyperlink nei sequenti e nel browser: rendere visibili gli @@ -69,6 +68,7 @@ TODO - bug di refresh del widget quando si avanza ("swap" tra la finestra dei sequenti e la finestra dello script) + - sensitiveness per goto begin/end/etc. (???) - che farne della palette delle tattiche? - script outline -> Zack - riattaccare hbugs (brrr...) -> Zack -- 2.39.2