Options for text_editor and text_field.
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