Community
Participate
Working Groups
Commit f014a8c0f49b656bc40d5cd1d25c5b7a81bf2630 introduced codefor a better support for the dark theme. As this is not needed anymore for the dark theme, I suggest to remove that to use SWT functionality directly here.
I'm not exactly sure which CSS preferences you're referring to (haven't checked the commmit) but couldn't this functionality still be useful for theme creators? Or is it now possible to use the same functionality, but natively through SWT?
(In reply to Andrew Obuchowicz from comment #1) > I'm not exactly sure which CSS preferences you're referring to (haven't > checked the commmit) but couldn't this functionality still be useful for > theme creators? Or is it now possible to use the same functionality, but > natively through SWT? Theme creators can still implement this if they want using their own CSS handler.
*** Bug 465668 has been marked as a duplicate of this bug. ***
We also have also to revert https://git.eclipse.org/r/#/c/45295/
*** Bug 562672 has been marked as a duplicate of this bug. ***
New Gerrit change created: https://git.eclipse.org/r/162970
(In reply to Andrew Obuchowicz from comment #1) > couldn't this functionality still be useful for theme creators? Agreed, I'm guessing you had your https://github.com/AObuchow/Eclipse-Modern-Dark-Theme in mind. I was also making use of this in the custom theme I was playing around with, will see how it looks with native highlights instead. Other options were removed recently, for instance the Styled text scrollbars, it's a shame to see all this go away. The popular DevStyle plugin will probably be impacted as well, there may be others. I understand the benefits of having less code to maintain in the Platform, but do keep in mind that removing customisation support does make things harder for theme creators as a side effect. ;)
The code in question caused serious regressions, see https://bugs.eclipse.org/bugs/show_bug.cgi?id=562689
Gerrit update seems to be broken. This one is fixed. I'm really glad we finally found the reason for the blurry text display in the dark theme for Windows. This made the usage of the dark theme under Windows impossible for me.