jEdit 5.2pre1. Viewing api documentation from the helpviewer in jEdit.
It seems like a bad stylesheet or something. I think the stylesheet is different now that we are using java7, so perhaps the default stylesheet needs to be somehow customized so it works in this old swing-based helpviewer?
Log in to post a comment.