Up – Package index » Note v0.0.3 » Library note.brr » Note_brr_kit » Ui

Module `Note_brr_kit.Ui`Source

Graphical user interaction.

Warning. This will definitively break in the future.

Note based GUI toolkit.

XXX.

A common interface seems to emerge. Can we get rid of the different types and unify the elements under a single type ?
Provide action refinement. This could be as an optional argument but it's likely you want to do it after. So as *.with_action functions seem better.
Layout is still painful

Sourcemodule Group : sig ... end

Element groups.

Sourcemodule Label : sig ... end

Labels.

Sourcemodule Button : sig ... end

Buttons.

Sourcemodule Jstr_editor : sig ... end

String editors.

Sourcemodule Value_selector : sig ... end

Value selectors

Sourcemodule Float_selector : sig ... end

Floating point value selector.