Jump to the source code

In this example a developer wants to get to the source code of the method to see what it does. Just by pressing a single key (F3) while letting the cursor on the name of the method he gets to a file with the definition of it. Folding of comments and bodies of methods is optional:

Well, sources of the Notes API are not public, thus it does not help much to learn about its internals. At least it is possible to read sources for the javadoc documentation and see the layout of the class. And probably copy & paste it somewhere; after all, it is a full editor for Java sources...