Skip to content

[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