From 285dab66a958168b70cbfb8dbf66284745c94ee8 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 25 Jul 2005 10:37:26 +0000 Subject: [PATCH] ... --- helm/matita/matita.txt | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt index 19c78922f..9372b0a12 100644 --- a/helm/matita/matita.txt +++ b/helm/matita/matita.txt @@ -62,16 +62,17 @@ TODO - sensitiveness per copy/paste/cut/delete nel menu Edit - sensitiveness per goto begin/end/etc. - - 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) + - menu contestuale (tasto dx) nel sequent viewer - feedback su hyperlink nei sequenti e nel browser: rendere visibili gli hyperlink (cursore a "manina"? hyperlink evidenziati?). La maction che collassa la prova e' fastidiosa: la prova si chiude se non si clicca correttamente su un hyperlink (anche tooltip sui bottoni) + + - bug di refresh del widget quando si avanza ("swap" tra la finestra dei + sequenti e la finestra dello script) - che farne della palette delle tattiche? - script outline -> Zack - - riattaccare hbugs (brrr...) -> Zack + - riattaccare hbugs (brrr...) -> Zack GUI LOGICA - matitamake foo/a.ma non funziona; bisogna chiamarlo con -- 2.39.2