Andrew O.
Andrew O.
Upstream bug: https://bugs.eclipse.org/bugs/show_bug.cgi?id=564711
@ingomohr that would be awesome :) Please do when you have a moment!
This seems to be the same case for the Platform dark theme:  I'll have to investigate where the font color is inherited and if it can be overridden with...
Upstream bug discussion: https://bugs.eclipse.org/bugs/show_bug.cgi?id=533746#c3
@ingomohr I was thinking the same just earlier today :) A rule of thumb I use when customizing the colors of Modern Dark is to set the base theme to...
I haven't determine yet how these color preference "extensions" should be made. There is a ColorFactory extension point for org.eclipse.ui.themes which I haven't read the documentation for yet. Maybe it...
Agreed, I was thinking the same thing :) I think it'd provide the plugin with more flexibility overall.
I've been working on this a bit, I think the PR for it is almost ready. Unfortunately, it seems that some css-refactoring is required to make it so that text...
I'm +1 for all these ideas. I have no experience with the release option of GitHub but it'd be cool to use it if possible :) We could probably use...
I think #52 might be a requirement for this feature, as the preference page could contain an activator that would track the plugins initialization.