Simple widgets to display text.
class textured_text : unit -> object ... endClass used internally to cache text rendering.
class label : ?class_:string option -> ?name:string option -> ?props:Props.t option ->
unit -> object ... endLabel widget, displaying a single line text.
val label :
?class_:string ->
?name:string ->
?props:Props.t ->
?halign:float ->
?valign:float ->
?text:string ->
?pack:(Widget.widget -> unit) ->
unit ->
labelConvenient function to create a label. Props.halign, Props.valign and Props.text properties can be specified with the corresponding optional arguments. See widget_arguments for other arguments.
module Status_msg_id : sig ... endtype status_msg_id = Status_msg_id.tclass status : ?class_:string option -> ?name:string option -> ?props:Props.t option ->
unit -> object ... endA status is a label where messages can be stacked. Only the message at the top of the stack is displayed. Each message has an id, which can be used to remove the message even if not on top of the stack.
val status :
?class_:string ->
?name:string ->
?props:Props.t ->
?pack:(Widget.widget -> unit) ->
unit ->
statusConvenient function to create a status. See widget_arguments for arguments.
class textured_glyph : unit -> object ... endClass used internally to cache rendering of glyphs.
class glyph : ?class_:string option -> ?name:string option -> ?props:Props.t option ->
unit -> object ... endWidget to render a single glyph.
val glyph :
?class_:string ->
?name:string ->
?props:Props.t ->
?glyph:int ->
?pack:(Widget.widget -> unit) ->
unit ->
glyphConvenient function to create a glyph. Props.glyph property can be specified with the corresponding optional argument. See widget_arguments for other arguments.