Module Register_gui


module Register_gui: sig .. end

val make_bi_label : GPack.box -> string -> GMisc.label
val make_hbox : GPack.box -> GPack.box
val make_panel : 'a -> string * GObj.widget * (unit -> unit) option
val gui : Design.main_window_extension_points -> unit