Help-popups

In this example a developer wants to see briefly what the method does by hovering the mouse over its name without opening the documentation. Let us see what happens without an attached source code or a javadoc documentation:

And let us see how it improves after providing the editor with the necessary data:

The window with the documentation can be enlarged and it can be also pinned not to hide when the mouse has moved or a button has been clicked.