Allow user to set default theme#3854
Merged
vogella merged 1 commit intoeclipse-platform:masterfrom Apr 7, 2026
Merged
Conversation
Contributor
Author
|
Configuration scope is hard to test with runtime Eclipse, as each runtime Eclipse uses its own "configuration scope". So to test this change, you have to build the IDE with the new bundles and start this new instance. |
Contributor
vogella
force-pushed
the
default-theme-setting-by-user
branch
from
bc1a650 to
bff29fd
Compare
Contributor
Author
|
To test, I needed to build the aggregator. Start Eclipse switch theme and select: use as default in the popup: 1.) Start Eclipse and change Theme 
Now new workspaces or workspaces without configured theme will use the new default. Workspaces which have an explicit theme set will not be affected |
Contributor
Author
|
Plan to merge early M2, to late for M1. |
vogella
force-pushed
the
default-theme-setting-by-user
branch
3 times, most recently
from
9a46294 to
c9bd81a
Compare
During theme switch the user can now set the selected theme as default. This setting is saved as configuration scope and loaded for new workspaces unless the user has a theme set for this specific workspace. Adds 'Use as default theme' checkbox to the theme restart dialog.
vogella
force-pushed
the
default-theme-setting-by-user
branch
from
c9bd81a to
75599e0
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
During theme switch the user can now set the selected theme as default This setting is saved as configuration scope and loaded for new workspaces unless the user has a theme set for this specific workspace. Add 'Use as default theme' checkbox to theme
restart dialog