[BLUEJ-1268] Javadoc extra navigation links not showing
In BlueJ 4.1.0 we added a (little-known?) feature in the Javadoc whereby "Show source" links appeared next to each method in the Javadoc that would switch back to source view and jump to that method. This stopped working in the moved to Java 11 because Javadoc changed how it generates the method HTML. It should be reasonably easy to fix for the new scheme.
Issue metadata
- Issue type: Bug
- Priority: Medium
- Fix versions: 4.2.2