Details
-
Bug
-
Status: Closed
-
Minor
-
Resolution: Fixed
-
8.2, 9.0
Description
This is a patch for the old issue 236403 with the same name, see https://netbeans.org/bugzilla/show_bug.cgi?id=236403 .
Since about NetBeans 7.4, the Java editor's Javadoc popup has been rendered with an all-monospace font. There have also been various complaints about the Javadoc's font size (which the monospace font "fixed" because the monospace font looks larger at the same point size).
The attached patch makes the Javadoc popup once again use a non-monospace font (as in generated Javadoc HTML), while at the same time increasing the font size to match the editor's own zoom level. See the attached screenshot.
Attachments
Attachments
Issue Links
- is related to
-
NETBEANS-619 Check/Consolidate manipulation of HTMLEditorKit stylesheet
- Open
- links to