From 65f0536e36ab27c247d82f5a559896dcda249a4b Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 26 Jul 2005 17:00:30 +0000 Subject: [PATCH] Flickering bug fixed. --- helm/matita/matita.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt index cbea07952..c7bf99899 100644 --- a/helm/matita/matita.txt +++ b/helm/matita/matita.txt @@ -64,8 +64,6 @@ TODO 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 @@ -85,6 +83,8 @@ TODO - non chiudere transitivamente i moo ?? DONE +- bug di refresh del widget quando si avanza ("swap" tra la finestra dei + sequenti e la finestra dello script) -> CSC - sensitiveness per goto begin/end/etc. (???) -> Gares - cut&paste stile "X": rimane la parte blu e lockata! -> CSC - highlight degli errori di parsing nello script -> CSC -- 2.39.2