eclipse-platform / .github

Common contribution content for eclipse-platform repositories
https://www.eclipse.org/eclipse/
4 stars 10 forks source link

Javadoc code font not covered by Eclipse's "Colors and Fonts" preferences #181

Closed hippie68 closed 5 months ago

hippie68 commented 5 months ago

Preferences - General - Appearance - Colors and Fonts

You can select all kinds of different fonts for different areas, but for Javadoc pop-ups there is one font area that is not appearing in the Eclipse font settings list, so I believe this is an oversight by the developers who are responsible for the font selection:

eclipse_unchangeable_fonts

In the Eclipse font settings there is no entry and no term for this, so I am calling it "Javadoc Code Font" and have highlighted it in red circles in the attached picture.

merks commented 5 months ago

I suspect this is because that's rendered in a browser. You should ask about it here:

https://github.com/eclipse-jdt

I close this because the issue cannot be moved to a different organization.