492493494495496497498499500501502
} public void focusGained(FocusEvent e) { responseHasFocus = false; statusBar.setTarget(new JEditorStatusBarTargetProxy(sourceEditor.getInputArea())); if (!splitButton.isEnabled()) { requestTabs.setSelectedIndex(0); return; }
533534535536537538539540541542543
} public void focusGained(FocusEvent e) { responseHasFocus = true; statusBar.setTarget(new JEditorStatusBarTargetProxy(sourceEditor.getInputArea())); if (!splitButton.isEnabled()) { requestTabs.setSelectedIndex(1); return; }