Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

fix(gui): editor theme loading and error/fallback handling improved #1478

Merged
merged 2 commits into from
May 8, 2022

Conversation

jpstotz
Copy link
Collaborator

@jpstotz jpstotz commented May 8, 2022

This PR should fix #1476.

After calling MainWindow.setEditorTheme once MainWindow.editorTheme always should contain a non-null value.

First call of setEditorTheme is done by loadSettings. Assuming an exception is thrown before so that setEditorTheme is never called also means that initialization of MainWindow fails, so there should be no UI and state of editorTheme field is no longer relevant.

@lgtm-com
Copy link

lgtm-com bot commented May 8, 2022

This pull request introduces 1 alert when merging 9a7eaf8 into a717392 - view on LGTM.com

new alerts:

  • 1 for Unused format argument

@skylot skylot merged commit e784c7f into skylot:master May 8, 2022
@skylot
Copy link
Owner

skylot commented May 8, 2022

@jpstotz thanks 👍

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
2 participants