Community
Participate
Working Groups
Currently the Java editor uses the preference store to save the Color/Font resources and we are not able to style it with the CSS. After replacing it with the proper 3.x theme we will manage to override the theme by the CSS.
We have no plans to work on this, but we can review a good quality patch. It's imperative that: - user-configured syntax colors are not lost in the transition if the user doesn't touch any settings - the user can continue to use the Syntax Coloring preference page, where individual options can be enabled/disabled, and there's a live preview - the user is informed about what happens when switching themes: - proper links on the top of preference pages - warning if switching themes removes any user-configured colors