Consume Control+Tab/PageUp/Down events on a split pane to stop Control+Tab propagating and changing the focus away from the input text area.

Author: fjwright

src/fjwright/runreduce/RunREDUCE.java

@@ -158,6 +158,7 @@ private static void splitPaneKeyPressed(KeyEvent event) {
                 (event.getCode() == KeyCode.TAB ||
                         event.getCode() == KeyCode.PAGE_UP ||
                         event.getCode() == KeyCode.PAGE_DOWN)) {
+            event.consume(); // NECESSARY for Control+Tab!
             reducePanel.setSelected(false); // current panel
             REDUCEPanel tmp = reducePanel; // swap panels
             reducePanel = reducePanel2;