Skip to content

UI theme settings#226

Merged
StephenNneji merged 15 commits into
RascalSoftware:mainfrom
MikeSullivan7:ui_theme_settings
Jun 5, 2026
Merged

UI theme settings#226
StephenNneji merged 15 commits into
RascalSoftware:mainfrom
MikeSullivan7:ui_theme_settings

reset settings takes default changes into account

e661cca
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
ruff
succeeded Jun 5, 2026 in 7s