From 9bbfd535a4d8f11395159728314b25eb5d9984c0 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 13 Oct 2009 11:27:03 +0000 Subject: [PATCH] better screenshot --- helm/software/matita/matitaMathView.ml | 16 +++++++++++++--- 1 file changed, 13 insertions(+), 3 deletions(-) diff --git a/helm/software/matita/matitaMathView.ml b/helm/software/matita/matitaMathView.ml index 38c46da8c..d674498cf 100644 --- a/helm/software/matita/matitaMathView.ml +++ b/helm/software/matita/matitaMathView.ml @@ -1642,12 +1642,22 @@ let mathViewer () = x ^ ".label.png") filenames in + let rec div2 = function + | [] -> [] + | [x] -> [[x]] + | x::y::tl -> [x;y] :: div2 tl + in + let items = div2 items in ignore(Sys.command (Printf.sprintf - "convert %s +append %s" - (String.concat (" '(' -gravity center -size 10x10 xc: ')' ") items) + "convert %s -append %s" + (String.concat "" + (List.map (fun items -> + Printf.sprintf " '(' %s +append ')' " + (String.concat + (" '(' -gravity center -size 10x10 xc: ')' ") items)) items)) (Filename.quote (ofn ^ ".png")))); List.iter (fun x,_ -> Sys.remove x) filenames; - List.iter Sys.remove items; + List.iter Sys.remove (List.flatten items); w#destroy (); end -- 2.39.2