[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 type: Bug
- Priority: Low
- Fix versions: 3.0.1