Text Edit widget

Variables to customize Text Edit widget

$gbc-TextEditWidget-margin-ratio

Margin ratio for Text Edit widget

Type: number

Default value: $theme-margin-ratio

Computed value: 0.6

$gbc-TextEditWidget-font-size-ratio

Font size ratio for Text Edit widget

Type: number

Default value: $theme-font-size-ratio

Computed value: 0.8

$gbc-TextEditWidget-capacity

Define the capacity of the cache of global TextEditWidget. The capacity is the number of TextEditWidget that can be cached. If the capacity is reached, the oldest TextEditWidget is removed from the cache. The default value is 300.

Type: number

Default value: $300

Computed value: 300