public applyThemeMetrics(fontPixelSize as Int, paddingLeft as Int, paddingTop as Int, paddingRight as Int, paddingBottom as Int) as Void:
Applies theme-derived metrics that are specific to this widget type.
ThemeManager invokes this hook after applying the common margin and container padding. The base implementation intentionally does nothing; text controls and custom widgets can use it to update preferred sizes without forcing the theme engine to depend on every concrete widget.
| Parameter | Description |
|---|---|
fontPixelSize | Resolved theme font size in pixels. |
paddingLeft | Resolved left padding, or -1 when unspecified. |
paddingTop | Resolved top padding, or -1 when unspecified. |
paddingRight | Resolved right padding, or -1 when unspecified. |
paddingBottom | Resolved bottom padding, or -1 when unspecified. |
widget.applyThemeMetrics(13, 8, 6, 8, 6)