BlueJ: in some cases, classes navigation with arrows in the class diagramme doesn't work
In some cases, when a class is selected in the class diagramme, the arrow keys navigation doesn't do anything.
In some cases, when a class is selected in the class diagramme, the arrow keys navigation doesn't do anything.