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

Workspace launcher theme. #9

Open
davidsoles opened this issue Apr 13, 2022 · 9 comments
Open

Workspace launcher theme. #9

davidsoles opened this issue Apr 13, 2022 · 9 comments

Comments

@davidsoles
Copy link

Hi,
Have you noticed that even using Dark theme, the workspace launcher shows in Light color?
image
It would be great if the workspace launcher behave according to the Dark or Light theme of Eclipse IDE.

@AObuchow
Copy link
Contributor

Thanks for reporting the behaviour on MacOS.

On Linux, the issue is somewhat similar: Even if you have Eclipse set to a Light theme, the workspace launcher will use the GTK theme, which may or may not be dark.

I think the issue might be more difficult to fix on Linux than OSX since it is GTK theme dependant, however I'm not sure.

@vogella
Copy link
Contributor

vogella commented Apr 19, 2022

@davidsoles are you selecting the OS dark theme or the dark theme of Eclipse?

@davidsoles
Copy link
Author

@vogella I'm selecting the dark theme of Eclipse.

@vogella
Copy link
Contributor

vogella commented Apr 19, 2022

Unfortunately the theme engine is only available after the workspace has been selected. PartRenderingEngine#run calls initializeStyling in line 1050 after ChooseWorkspaceDialog. So if we want to style the workspace selection screen we would have to enable the styling engine before. Not sure how much effort that would be but if you want to analyse and send a PR that would be great.

@merks
Copy link
Contributor

merks commented Apr 19, 2022

Isn't the theme stored as a preference in the workspace? I think so, hence each workspace can have a different theme and you don't know the theme until after a specific workspace has been chosen...

@jukzi
Copy link
Contributor

jukzi commented Aug 23, 2022

Would be best to not store the preference in workspace then :-) Or to use the theme of the last used workspace.
I currently use two workspaces with different themes to know which workspace i am in. But that's not an important feature.

@elsazac
Copy link
Member

elsazac commented Jan 30, 2024

Isn't the theme stored as a preference in the workspace? I think so, hence each workspace can have a different theme and you don't know the theme until after a specific workspace has been chosen...

@merks - you are right, the theme is stored in the workspace, so there is no way we can predict the theme for the workspace launcher dialog:

cat $WORKSPACE/.metadata/.plugins/org.eclipse.core.runtime/.settings/org.eclipse.e4.ui.css.swt.theme.prefs
eclipse.preferences.version=1
themeid=org.eclipse.e4.ui.css.theme.e4_dark

looks like a chicken & egg problem to me!

@laeubi
Copy link
Contributor

laeubi commented Jan 30, 2024

so there is no way we can predict the theme for the workspace launcher dialog:

Eclipse stores the last used workspace so one could use the theme of the most recent workspace if its really important for the workspace chooser dialog to be "styled" but I'm not sure if styling is even available at this stage.

@mickaelistria
Copy link
Contributor

mickaelistria commented Jan 30, 2024

FWIW, on Linux (or on GTK with other OS by the way), lower-level SWT, and thus the workspace launcher dialog widget as well, can be fully themed by relying on GTK themes, see for example https://eclipse.dev/eclipse/news/4.18/platform.php#system-theme . Launching an application such as Eclipse IDE with a different GTK theme is only a matter of setting a I_DONT_REMEMBER_WHICH_ONE environment variable and then you get full theming.

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

No branches or pull requests

8 participants