Community
Participate
Working Groups
Once API is defined: https://git.eclipse.org/r/#/c/96122/ I should replace string instances of: org.eclipse.ui.workbench.HOVER_FOREGROUND org.eclipse.ui.workbench.HOVER_BACKGROUND With: org.eclipse.ui.workbench.INFORMATION_FOREGROUND org.eclipse.ui.workbench.INFORMATION_BACKGROUND But not the string, but instead reference the API that will be defined in JFacePreferences.java: INFORMATION_FOREGROUND_COLOR INFORMATION_BACKGROUND_COLOR Related patches that I can base things of: https://git.eclipse.org/r/#/c/96117/ https://git.eclipse.org/r/#/c/96123/
Dependent merged. I'll need to look into this. Currently pending till I finish webkit2 port.
As a note: org.eclipse.jdt.ui.Javadoc.backgroundColor
@Roland 1) I dug up a patch I wrote a long time ago to replace the HOVER_ with INFORMATION_ in jdt: https://git.eclipse.org/r/#/c/96117 I just updated the patch a bit, but I think it needs a rebase and a bit of testing/Roland's touch. 2) Also, this file contains a reference to HOVER_, which should probably be updated to INFORMATION_ /org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/themes/RGBInfoColorFactory.java 3) as well as possibly this guy: /org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/text/java/hover/AbstractAnnotationHover.java 4) In general, I think HOVER_* shouldn't be used anywhere to complete this task. (Let me know, I can open all projects I've worked on and do a quick search to verify).
I'll have a look post Java 10 work.
Gerrit change https://git.eclipse.org/r/96117 was merged to [master]. Commit: http://git.eclipse.org/c/jdt/eclipse.jdt.ui.git/commit/?id=90a8e6638fa8e2302d64362c29df955c302b73e4
Thanks, Leo and Roland for the patch.
Verfied in I20180422-2000.