Summary: | [preferences] Provide UI for overriding the default style sheets used in Javadoc View and tool tip | ||
---|---|---|---|
Product: | [Eclipse Project] JDT | Reporter: | Stanimir Stamenkov <stanio> |
Component: | Text | Assignee: | JDT-Text-Inbox <jdt-text-inbox> |
Status: | ASSIGNED --- | QA Contact: | |
Severity: | enhancement | ||
Priority: | P5 | CC: | daniel_megert, eclipse, entwurf, raksha.vasisht, Tod_Creasey, troworld |
Version: | 3.1 | ||
Target Milestone: | --- | ||
Hardware: | All | ||
OS: | All | ||
Whiteboard: |
Description
Stanimir Stamenkov
2005-07-07 05:07:51 EDT
*** 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. |