From 945e4ed3f3d068394ccf8c893fd256e645e2d33a Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Mon, 3 Jan 2011 14:00:56 +0000 Subject: [PATCH] Brainstorming --- matita/matita/DA_FARE | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/matita/matita/DA_FARE b/matita/matita/DA_FARE index da382c83d..18dd56140 100644 --- a/matita/matita/DA_FARE +++ b/matita/matita/DA_FARE @@ -19,3 +19,11 @@ matitac: non entra nelle dir matita: due file anonimi stessa base uri matita: il pulsante close non si ingrigisce quando non ci sono piu' script aperti + +A) passare lo status con il metodo di pretty-printing in giro ovunque +B) rendere globali le informazioni sull'inclusione :-( e combinarle con il + "non caricare oggetti non ancora inclusi" (oppure auto-includere in un + qualche modo) per poter ri-compilare un file. Dovrebbe risolvere due scenari: + 1) A -> C, B -> C, C e' caricato, carico oggetti di C, B carica C + ricompilandolo e mischio oggetti + 2) A -> C, edito A, torno in cima ad A, apro C, non mi fa editare C -- 2.39.2