combo#set_active (aux 0 queries);
in
let searchText =
- GSourceView.source_view ~auto_indent:false ~editable:false ()
+ GSourceView2.source_view ~auto_indent:false ~editable:false ()
in
let _ =
win#scrolledwinContent#add (searchText :> GObj.widget);
method private _loadTermNCic term m s c =
let d = 0 in
- let m = (0,(None,c,term))::m in
+ let m = (0,([],c,term))::m in
let status = (MatitaScript.current ())#grafite_status in
mathView#nload_sequent status m s d;
self#_showMath
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