+
+ method screenshot status sequent metasenv subst (filename as ofn) =
+ let mathml =
+ ApplyTransformation.nmml_of_cic_sequent status metasenv subst sequent
+ in
+ let w = GWindow.window ~title:"screenshot" () in
+ let width = 600 in
+ let height = 2000 in
+ let m = GMathView.math_view
+ ~font_size:!current_font_size ~width ~height
+ ~packing:w#add
+ ~show:true ()
+ in
+ w#show ();
+ m#load_root ~root:mathml#get_documentElement;
+ let pixmap = m#get_buffer in
+ let pixbuf = GdkPixbuf.create ~width ~height () in
+ GdkPixbuf.get_from_drawable ~dest:pixbuf pixmap;
+ let filename = filename ^ "-raw.png" in
+ GdkPixbuf.save ~filename ~typ:"png" pixbuf;
+ ignore(Sys.command (Printf.sprintf
+ "convert -trim -border 3 -bordercolor white %s %s"
+ (Filename.quote filename)
+ (Filename.quote (ofn ^ ".png"))));
+ w#destroy ();