* http://cs.unibo.it/helm/.
*)
+(* $Id$ *)
+
open Printf
open GrafiteTypes
class clickableMathView obj =
let text_width = 80 in
-let dummy_loc = HExtlib.dummy_floc in
object (self)
inherit GMathViewAux.multi_selection_math_view obj
goal2page <- [];
goal2win <- [];
_metasenv <- [];
- self#script#setGoal ~-1;
+ self#script#setGoal None
method load_sequents { proof = (_,metasenv,_,_) as proof; stack = stack } =
_metasenv <- metasenv;
let goal_switch =
try List.assoc page page2goal with Not_found -> assert false
in
- self#script#setGoal (goal_of_switch goal_switch);
+ self#script#setGoal (Some (goal_of_switch goal_switch));
self#render_page ~page ~goal_switch))
method private render_page ~page ~goal_switch =