Class GuiConfig.dp_button

class dp_button : available:provers -> enabled:provers -> object .. end
Inherits
method update : unit -> unit