Stk.EditSourceEntry widgets.
Property used to define the character displayed instead of newline in single-line edition widgets. Default value is ↵ (U+21B5 (8629)).
class entry : ?classes:string list option -> ?name:string option -> ?props:Props.t option -> ?wdata:
Widget.wdata
option -> unit -> object ... endval entry :
?classes:string list ->
?name:string ->
?props:Props.t ->
?wdata:Widget.wdata ->
?editable:bool ->
?text:string ->
?pack:(Widget.widget -> unit) ->
unit ->
entryConvenient function to create a entry. Optional arguments:
editable specifies whether the contents is editable by user (default is true).text specifies the initial text (default is empty).See Widget arguments for other arguments.