Back link to line number of source text file

[DGrothe-PhD]

[DGrothe-PhD]

This won't work in the browser or in HTML files. → Requires an extra Java window or calling a command-line tool from within the Java application.