Ui.Button
Buttons.
See the styling information.
val file_selector :
?class':Jstr.t ->
?active:bool Note.signal ->
?enabled:bool Note.signal ->
?tip:Jstr.t Note.signal ->
?exts:string list ->
Brr.El.t list Note.signal ->
Brr.File.t t
file_selector ~exts cs
is a button which, whenever clicked, allows to select a file on the host's file system. exts
is the caseless list of file extensions (including the dot) that can be selected; all file can be selected if this is the empty list (default).
The resulting element as an additional ui-file-selector
class. See Styling.
val files_selector :
?class':Jstr.t ->
?active:bool Note.signal ->
?enabled:bool Note.signal ->
?tip:Jstr.t Note.signal ->
?exts:string list ->
Brr.El.t list Note.signal ->
Brr.File.t list t
files_selector
is like file_selector
but allows multiple files to be selected.
The element returned by el
makes use of the following CSS classes:
ui-button
always.ui-file-selector
always iff created via file_selector
or files_selector
ui-active
whenever active
is true
.ui-disabled
whenever enabled
is false
.