Community
Participate
Working Groups
I20100802-1800. The hint/status field of the Javadoc hover does not update color when changed in the OS. 0. open Java editor 1. make the Javadoc hover appear 2. change ToolTip color in the OS 3. go back to Java editor 4. make the Javadoc hover appear ==> status field has old color but Javadoc itself has the new color.
The ruler hovers do not update color when changed in the OS. 0. open Java editor 1. make a ruler hover appear 2. change ToolTip color in the OS 3. go back to Java editor 4. make a ruler hover appear ==> still old colors Closing and reopening the editor fixes the issue.
Forget the previous comment (wrong bug). Closing and reopening the editor fixes the issue. Hovering over a problem also fixes the issue.
Fixed in HEAD.
Created attachment 175780 [details] Fix
I've reverted the fix since it can destroy the colors set by subclasses (e.g. multi-hyperlink control). After discussion with Markus we agreed that it's not worth to write more complicated code to handle that rare scenario.