From 5bd36a7afc6b0060ef92ab2aa34b98a3513f3921 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 21 Jul 2005 16:32:50 +0000 Subject: [PATCH] ... --- helm/matita/matita.txt | 1 + 1 file changed, 1 insertion(+) diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt index 4bcd77a56..c713df170 100644 --- a/helm/matita/matita.txt +++ b/helm/matita/matita.txt @@ -44,6 +44,7 @@ TODO GUI GRAFICA + - integrare il famoso logo mancante (anche nell'About dialog) - quando si fa una locate nel cicbrowser viene mangiato un pezzo di testo dalla finestra principale!!! - highlight degli errori di parsing nello script (usando lo sfondo come per la -- 2.39.2