let w =
new GBin.scrolled_window
(Gobject.try_cast p#as_widget "GtkScrolledWindow") in
- w#hadjustment#set_value 0.0;
+ (* The double change upper/lower is to trigger the emission of
+ 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 ()