[GREENFOOT-444] Make ctrl-tab/ctrl-shift-tab move tabs in Java editor
It is an interface convention that ctrl-tab and ctrl-shift-tab move between tabs in a tabbed display (e.g. browser). We have implemented this for Stride, but the Java editor retains the default (and IMO, much less useful, esp in our editor) behaviour of moving focus between interface elements. The process to implement ctrl-tab for this in Swing is intricate, but this link describes how to do it:
http://www.davidc.net/programming/java/how-make-ctrl-tab-switch-tabs-jtabbedpane
Issue metadata
- Issue type: Bug
- Priority: Medium
- Fix versions: 3.0.3