try
self#_advance ?statement ();
self#notify
- with Margin -> ()
+ with Margin -> self#notify
method retract () =
try
self#_retract ();
self#notify
- with Margin -> ()
+ with Margin -> self#notify
method private getFuture =
buffer#get_text ~start:(buffer#get_iter_at_mark (`MARK locked_mark))
observers <- o :: observers
method private notify =
+prerr_endline ("************* NOTIFICATO");
let status = self#status in
List.iter (fun o -> o status) observers
in
dowhile (getpos ());
self#notify
- with Margin -> ())
+ with Margin -> self#notify)
| `Cursor ->
let locked_iter () = buffer#get_iter_at_mark (`NAME "locked") in
let cursor_iter () = buffer#get_iter_at_mark `INSERT in
(back_until_cursor (); self#notify)
else (* cursor = locked *)
()
- with Margin -> ())
+ with Margin -> self#notify)
method onGoingProof () =
match self#status.proof_status with