Note_brr_kit.Ui
Graphical user interaction.
Warning. This will definitively break in the future.
Note based GUI toolkit.
XXX.
module Group : sig ... end
Element groups.
module Label : sig ... end
Labels.
module Button : sig ... end
Buttons.
module Jstr_editor : sig ... end
String editors.
module Value_selector : sig ... end
Value selectors
module Float_selector : sig ... end
Floating point value selector.