From b8cd3b086938bb4e042975a30e82b74a38b72476 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Thu, 24 Sep 2009 14:46:57 +0000 Subject: [PATCH] ... --- helm/software/matita/matitaMathView.ml | 27 +++++++++++-------- .../matita/nlibrary/topology/preamble.xml | 3 --- 2 files changed, 16 insertions(+), 14 deletions(-) diff --git a/helm/software/matita/matitaMathView.ml b/helm/software/matita/matitaMathView.ml index f772a84ed..b966de073 100644 --- a/helm/software/matita/matitaMathView.ml +++ b/helm/software/matita/matitaMathView.ml @@ -1588,7 +1588,7 @@ let mathViewer () = w#show (); let filenames = HExtlib.list_mapi - (fun sequent i -> + (fun (mno,_ as sequent) i -> let mathml = ApplyTransformation.nmml_of_cic_sequent status metasenv subst sequent @@ -1601,24 +1601,29 @@ let mathViewer () = filename ^ "-raw" ^ string_of_int i ^ ".png" in GdkPixbuf.save ~filename ~typ:"png" pixbuf; - filename) + filename,mno) sequents in let items = - List.map (fun x -> - Printf.sprintf - " '(' -trim -border 3 -bordercolor white %s ')' " - (Filename.quote x)) + List.map (fun (x,mno) -> + ignore(Sys.command + (Printf.sprintf + ("convert "^^ + " '(' -gravity west -bordercolor grey -border 1 label:%d ')' "^^ + " '(' -trim -bordercolor white -border 5 "^^ + " -bordercolor grey -border 1 %s ')' -append %s ") + mno + (Filename.quote x) + (Filename.quote (x ^ ".label.png")))); + x ^ ".label.png") filenames in ignore(Sys.command (Printf.sprintf "convert %s +append %s" - (String.concat (" '(' -gravity center -size 9x150 xc: "^ - "-draw \"line 5,0 5,48\" "^ - "-draw \"line 5,52 5,98\" " ^ - "-draw \"line 5,102 5,150\" " ^ " ')'") items) + (String.concat (" '(' -gravity center -size 10x10 xc: ')' ") items) (Filename.quote (ofn ^ ".png")))); - List.iter Sys.remove filenames; + List.iter (fun x,_ -> Sys.remove x) filenames; + List.iter Sys.remove items; w#destroy (); end diff --git a/helm/software/matita/nlibrary/topology/preamble.xml b/helm/software/matita/nlibrary/topology/preamble.xml index a85be4fc6..3864f2e19 100644 --- a/helm/software/matita/nlibrary/topology/preamble.xml +++ b/helm/software/matita/nlibrary/topology/preamble.xml @@ -12,9 +12,6 @@ margin-left: auto; margin-right: auto; display: block; - border-style: solid; - border-width: 2px; - border-color: grey; } -- 2.39.2