Stk.TextlogSourceA widget to display Logs message.
Property "log_max_size" so that log will not keep more characters than specified. Default is 30_000.
class textlog : ?classes:string list option -> ?name:string option -> ?props:Props.t option -> ?wdata:
Widget.wdata
option -> unit -> object ... endThe textlog widgets to display log messages.
val textlog :
?classes:string list ->
?name:string ->
?props:Props.t ->
?wdata:Widget.wdata ->
?theme:string ->
?maxsize:int ->
?pack:(Widget.widget -> unit) ->
unit ->
textlogConvenient function to create a textlog. max_size can specified a value for max_size property. theme can specify a theme name to use. See Widget arguments for other arguments.
reporter textlog creates a Logs.reporter which will dispatch log messages according to the presence of Log.tag in message tags: if present, the message is a Stk log message and will be displayed on stderr, else if will be displayed in the textlog widget.