#1512 InfoViewer rendering problems with JavaDoc

[Max Funk]

JavaDoc plugin / Infoviewer plugin do not show the documentation of the Sun/Oracle Java SDK documentation properly.

Some texts (e.g. table of contents) are unreadable small, the frames are not arranged properly.
Changing font size doesn't help.

The solution is to use an "external browser" with command "firefox $u" in the InfoViewer plugin options.

The info viewer browser options do not work for me:
- "class in classpath" doesn't work
- the netscape (unix) option seems to be deprecated, since netscape is not any more developed?
- the external browser default command (netscape...) is also deprecated ?
- Also, I do not get, why should there be an option "use internal info viewer instead
of the standard help viewer?

I would suggest, to leave only the choices "internal info viewer" and "external browser"
in the info viewer options, with Firefox as default.
Perhaps, one should also use directly an external browser for JavaDoc?

[Max Funk]

JavaDoc Plugin works very well with external browser.
I updated and enhanced the documentation, see appended file.
If there are no objections, I would put it into trunk.

The info viewer issues (too small fonts, default browser suggestions) remain.

[Max Funk]

Javadoc Documentation Update

[Alan Ezust]

mf3, any contributions to infoviewer are appreciated.
I cleaned up the netscape stuff.
I am assigning this ticket to you to handle the rest.

> Also, I do not get, why should there be an option "use internal info viewer instead
>of the standard help viewer?

I use it myself because I like to see the address bar (something the regular helpviewer does not offer).

[Alan Ezust]

Regarding too small fonts, have you tried changing the font in global options - appearance - help viewer/browser text font?

[Alan Ezust]

I verified that changing the font from global options - appearance - helpviewer and browser font will take affect
if you close and open the infoviewer. Even for pages such as javadocs.

[Alan Ezust]

Please submit a patch (not a replacement file) to the plugin-patches for your javadoc plugin docs changes.

[Max Funk]

>I verified that changing the font from global options - appearance - helpviewer and browser font will take affect
Yes, it has some effect, but it depends on the HTML file; and with Javadoc downloaded from Oracle, it doesn't help. To me, it seems, that the scaling seems to be wrong; small font sizes in the document are much smaller than the larger sizes (should be only a little smaller).

>Please submit a patch (not a replacement file) to the plugin-patches for your javadoc plugin docs changes.
Sorry, I made this wrong; I committed already to trunk (my only commit outside charactermap up to now.) I reverted the change and I will commit to the patch tracker.

>mf3, any contributions to infoviewer are appreciated.
Thanks, I will have a look, when I have again time.

[Dynamo Dan]

This bug is still outstanding. It's not fixed. Changing the font size doesn't help. Opening in external browser isn't an acceptable fix (I installed this plugin so I didn't need to use an extra browser window!!). I've attached a screenshot.

I don't know how to get the patch in the patch tracker that was submitted by Max Funk, or whether it even fixes this. That was nearly 3 years ago anyway, I'm not sure why a patch (if correctly done) wouldn't have made it into the plugin by now.

[Alan Ezust]

The problem with the Swing Browser from java is that it does not support modern HTML.
See https://sourceforge.net/p/jedit/bugs/3804/. This is a duplicate.
The workaround is to use an external browser / the HelpServer plugin.
You can try a pre-release of helpserver here:
http://lazarus.oddiofile.com/jars/HelpServer.jar