Skip to content

[GREENFOOT-429] In Java editor, Ctrl/Cmd-1, 2, etc should select tabs

It is a convention in tabbed systems to have Ctrl/Cmd-1, 2, etc select the first, second, etc, tab. We have this in the Stride editor, and should add it to the Java editor.

Issue metadata

  • Issue type: Bug
  • Priority: Low
  • Fix versions: 3.0.1