Context
The spinner is hardcoded to rich.spinner.Spinner("dots").
Rich ships ~80 named spinners and users may want a different style.
Proposed change
Add to lmcode.toml (or [ui] section of settings):
[ui]
spinner = "dots" # any Rich spinner name
Exposed as settings.ui.spinner and passed to Spinner(settings.ui.spinner, ...).
Notable Rich spinner names
dots (default) — ⠋⠙⠹⠸⠼…arc — cleaner arc sweepmoon — 🌑🌒🌓🌔🌕…aesthetic — slow, elegantbouncingBar — bar bounce
Validation
On startup warn if the configured name is not a valid Rich spinner;
fall back to "dots" with a tip to run python -m rich.spinner for options.
Context
The spinner is hardcoded to
rich.spinner.Spinner("dots").Rich ships ~80 named spinners and users may want a different style.
Proposed change
Add to
lmcode.toml(or[ui]section of settings):Exposed as
settings.ui.spinnerand passed toSpinner(settings.ui.spinner, ...).Notable Rich spinner names
dots(default) — ⠋⠙⠹⠸⠼…arc— cleaner arc sweepmoon— 🌑🌒🌓🌔🌕…aesthetic— slow, elegantbouncingBar— bar bounceValidation
On startup warn if the configured name is not a valid Rich spinner;
fall back to
"dots"with a tip to runpython -m rich.spinnerfor options.