Module 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.