Skip to content

UI theme settings#226

Open
MikeSullivan7 wants to merge 11 commits into
RascalSoftware:mainfrom
MikeSullivan7:ui_theme_settings
Open

UI theme settings#226
MikeSullivan7 wants to merge 11 commits into
RascalSoftware:mainfrom
MikeSullivan7:ui_theme_settings

Conversation

@MikeSullivan7
Copy link
Copy Markdown
Collaborator

@MikeSullivan7 MikeSullivan7 commented May 8, 2026

This PR impliments RasCAL being displayed in Light or Dark mode depending on the users system settings. As default, this will be synchronised with the OS settings, but it is possible to override this be explicitly selecting Light or Dark mode in the Settings Dialog.

Things to test:

  • Open RasCAL and check that it's appearance aligns with your OS Settings.
  • Close RasCAL, change your OS appearence settings, reopen RasCAL and check that it opens in the correct mode.
  • Open a Project and go to settings, change to opposite theme (e.g. Light -> Dark) and accept changes.
  • Reopen RasCAL and check it has remembered the most recent theme change.
  • Check that clicking "Reset to Defaults" in Settings changes the theme back to "system" mode.
image

@MikeSullivan7 MikeSullivan7 marked this pull request as ready for review May 11, 2026 14:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants