Options for text_editor and text_field.
options := Editor_Options.{ line_numbers = true, tab_width = 2 };This one is only checked to compile, not run.
Fields
- font: Font_Slot
- size: float
- 0: the theme's code size
- line_numbers: bool
- highlight: Highlight_Proc
- marks: [] Text_Mark
- read_only: bool
- placeholder: string
- shown in an empty field
- grow: float
- tab_width: int