Provides ui theme facilities for this project.
Package: ui.theme
Reachable from entry: yes
platform/win32.mlaswin→ src/platform/win32.ml
function border_color(st)Return the border color for the active theme.
| Parameter | Type | Default | Description |
|---|---|---|---|
st |
dynamic |
— | st value consumed by this operation. |
function chrome_bg(st)Return the toolbar and status chrome background color for the active theme.
| Parameter | Type | Default | Description |
|---|---|---|---|
st |
dynamic |
— | st value consumed by this operation. |
function editor_bg(st)Return the editor background color for the active theme.
| Parameter | Type | Default | Description |
|---|---|---|---|
st |
dynamic |
— | st value consumed by this operation. |
function editor_fg(st)Return the editor foreground color for the active theme.
| Parameter | Type | Default | Description |
|---|---|---|---|
st |
dynamic |
— | st value consumed by this operation. |
function gutter_bg(st)Return the line-number gutter background color for the active theme.
| Parameter | Type | Default | Description |
|---|---|---|---|
st |
dynamic |
— | st value consumed by this operation. |
function is_dark(st)Return true when the active theme is dark.
| Parameter | Type | Default | Description |
|---|---|---|---|
st |
dynamic |
— | st value consumed by this operation. |
function muted_fg(st)Return the muted foreground color for secondary UI text.
| Parameter | Type | Default | Description |
|---|---|---|---|
st |
dynamic |
— | st value consumed by this operation. |
function panel_bg(st)Return the side and result panel background color for the active theme.
| Parameter | Type | Default | Description |
|---|---|---|---|
st |
dynamic |
— | st value consumed by this operation. |
function syntax_color(st, kind)Return the syntax-highlight color for a token kind.
| Parameter | Type | Default | Description |
|---|---|---|---|
st |
dynamic |
— | st value consumed by this operation. |
kind |
dynamic |
— | kind value consumed by this operation. |