changed :-( *)
w#hadjustment#set_value w#hadjustment#upper;
w#hadjustment#set_value w#hadjustment#lower;
+ w#vadjustment#set_value w#vadjustment#lower;
w#vadjustment#set_value
(w#vadjustment#upper -. w#vadjustment#page_size));
with Not_found -> assert false)
HExtlib.safe_remove filename
in
object (self)
- val mutable gviz_uri = NReference.reference_of_string "cic:/dummy.dec";
+ val mutable gviz_uri =
+ let uri = NUri.uri_of_string "cic:/dummy/dec.con" in
+ NReference.reference_of_spec uri NReference.Decl;
val dep_contextual_menu = GMenu.menu ()