Community
Participate
Working Groups
Looks like we cannot change the text font anymore, if these are not set in the current theme: For example: The Javadoc display font is used in the Javadoc view, for Javadoc hovers and for the additional information in content assist. (not available in the current theme)
Created attachment 240448 [details] Screenshot demonstrating the problem
I think this one can be marked as dup of Bug 429338 *** This bug has been marked as a duplicate of bug 429338 ***
It is the regression after Bug 355946 and has to be fixed separately Daniel
Released as: http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/?id=211ff99102d00d6a84e5e4beec6122b9f45463ba Daniel
(In reply to Daniel Rolka from comment #4) > Released as: > http://git.eclipse.org/c/platform/eclipse.platform.ui.git/commit/ > ?id=211ff99102d00d6a84e5e4beec6122b9f45463ba > > Daniel Thanks. Verified with a local build. Works great.
Verified in Build id: I20140303-2000