Text (p.stk.0.3.0.doc.stk.Stk.Text)

Sourceclass textured_text : unit -> object ... end

Class used internally to cache text rendering.

class label : ?classes:string list option -> ?name:string option -> ?props:Props.t option -> ?wdata:
  Widget.wdata
    option -> unit -> object ... end

Label widget, displaying a single line text.

Source

val label : 
  ?classes:string list ->
  ?name:string ->
  ?props:Props.t ->
  ?wdata:Widget.wdata ->
  ?halign:float ->
  ?valign:float ->
  ?text:string ->
  ?pack:(Widget.widget -> unit) ->
  unit ->
  label

Convenient 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.

Sourcemodule Status_msg_id : sig ... end

Sourcetype status_msg_id = Status_msg_id.t

Source

class status : ?classes:string list option -> ?name:string option -> ?props:Props.t option -> ?wdata:
  Widget.wdata
    option -> unit -> object ... end

A 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.

Source

val status : 
  ?classes:string list ->
  ?name:string ->
  ?props:Props.t ->
  ?wdata:Widget.wdata ->
  ?pack:(Widget.widget -> unit) ->
  unit ->
  status

Convenient function to create a status. See Widget arguments for arguments.

Sourceclass textured_glyph : unit -> object ... end

Class used internally to cache rendering of glyphs.

Source

class glyph : ?classes:string list option -> ?name:string option -> ?props:Props.t option -> ?wdata:
  Widget.wdata
    option -> unit -> object ... end

Widget to render a single glyph.

Source

val glyph : 
  ?classes:string list ->
  ?name:string ->
  ?props:Props.t ->
  ?wdata:Widget.wdata ->
  ?glyph:int ->
  ?pack:(Widget.widget -> unit) ->
  unit ->
  glyph

Convenient function to create a glyph. Props.glyph property can be specified with the corresponding optional argument. See Widget arguments for other arguments.