Community
Participate
Working Groups
Currently there are "JavadocViewStyleSheet.css" and "JavadocHoverStyleSheet.css" in the JDT UI plugin which control the appearance of the Javadoc View and tooltip. It is inconvenient to hack the plugin JAR to change these. I think the easiest and most flexible way would be to provide fields to specify user created stylesheets. The more CSS independent but not such flexible would be to provide separate options like: "base font", "colors", etc. I've noticed there are some style rules (like 'body { font-size: x-small }'?) applied with higher priority, which don't present in the above mentioned stylesheets. I think such should not be forced over the user stylesheets. They could be set as defaults but should not override the user styles.
*** Bug 145541 has been marked as a duplicate of this bug. ***
I believe the main problem (font size) of this request has been fixed with bug 142698. Do you think that overriding the entire style sheet is still required?
It would be nice (still I would like) to have an option to override the used stylesheets through some INI file properties pointing to custom stylesheets, but as this is probably not a usability problem anymore - it depends if others would demand it.
The font can now be set. No plans to work on this PR.
Get rid of deprecated state.
This is with 3.5 under Windows 7 now. I still cannot set the font used for fixed width in Javadoc: The font is taken from Internet Explorer’s preferences.
(In reply to comment #6) > This is with 3.5 under Windows 7 now. > > I still cannot set the font used for fixed width in Javadoc: The font is taken > from Internet Explorer’s preferences. I cannot reproduce this with 3.8 M2 on windows 7. Since the request to be able to set font size has been fixed, and it is not a usability problem anymore, I would remove the keyword and mark this as fixed. Dani?
(In reply to comment #7) > (In reply to comment #6) > > This is with 3.5 under Windows 7 now. > > > > I still cannot set the font used for fixed width in Javadoc: The font is taken > > from Internet Explorer’s preferences. > > > I cannot reproduce this with 3.8 M2 on windows 7. Same here. > Since the request to be able > to set font size has been fixed, and it is not a usability problem anymore, I > would remove the keyword Done. > and mark this as fixed. Dani? The original request to allow configuring the style sheet is still valid, so let's keep this bug open.