From d0ab1fcf737338896b973667ade8b31d60022d2c Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Thu, 28 Jul 2005 11:14:16 +0000 Subject: [PATCH] ... --- helm/matita/matita.txt | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt index f9098266b..5c84bb539 100644 --- a/helm/matita/matita.txt +++ b/helm/matita/matita.txt @@ -46,12 +46,15 @@ TODO GUI GRAFICA - - l'entry "Save" da menu non e' context sensitive (ti fa salvare anche - quando il file non e' stato modificato) - - integrare il famoso logo mancante (anche nell'About dialog) - 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 + - integrare il famoso logo mancante (anche nell'About dialog) + - la finestrella per i development ha i pulsanti non sensitive. + E' possibile fare "Build" senza selezionare nulla, ottenendo un + assert false + - l'entry "Save" da menu non e' context sensitive (ti fa salvare anche + quando il file non e' stato modificato) - finire e rendere piu' compliant (e.g. tags gestiti in maniera anomala) il Cic Browser - la barra di stato: c'e' ma non funziona? -- 2.39.2