From 7fb08964dac99490601012871f3d6f4a81539a8b Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 12 Sep 2005 08:52:13 +0000 Subject: [PATCH] An old note (that goes back to July) integrated in matita.txt. --- helm/matita/matita.txt | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/helm/matita/matita.txt b/helm/matita/matita.txt index d71a5f510..25980c66f 100644 --- a/helm/matita/matita.txt +++ b/helm/matita/matita.txt @@ -59,6 +59,14 @@ TODO quando il file non e' stato modificato) - finire e rendere piu' compliant (e.g. tags gestiti in maniera anomala) il Cic Browser + - non semplificherebbe le cose fare in modo che matitaScript sia un widget + (cosi' come lo e' matitaMathView) che eredita da GtkSourceView e mantiene + internamente lo status di matita etc. Appositi segnali permetterebbero di + evitare tutte le chiamate al singleton #instance di matitaScript, che + verrebbe creato dentro a matitaGui (o forse meglio dentro a matita e passato + a matitaGui). Si semplificherebbe forse anche la gestione di script + multipli? Forse no, perche' comunque ci puo' essere sempre solamente uno + ed un solo matitaScript (da spostare da un tab a un altro). - la barra di stato: c'e' ma non funziona? - menu contestuale (tasto dx) nel sequent viewer -- 2.39.2