Module GuiConfig

module GuiConfig: sig .. end

class available : unit -> object .. end
class enabled : string -> [string list] Widget.selector
class dp_chooser : main:Design.main_window_extension_points -> available:available -> enabled:enabled -> object .. end
class dp_button : available:available -> object .. end