sig
class available :
unit -> object method detect : unit method get : VCS.dp list end
class enabled : string -> [string list] Widget.selector
class dp_chooser :
main:Design.main_window_extension_points ->
available:GuiConfig.available ->
enabled:GuiConfig.enabled -> object method run : unit -> unit end
class dp_button :
available:GuiConfig.available ->
object
method coerce : GObj.widget
method set_enabled : bool -> unit
method set_visible : bool -> unit
method update : unit -> unit
method widget : Widget.widget
end
end