Merge pull request #119 from gyorokpeter/focus

improve UX related to search box focus
dzmipt · Jun 11, 2022 · b70d6c0 · b70d6c0
2 parents e7ae1bd + 609611e
commit b70d6c0
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/main/studio/ui/StudioPanel.java b/src/main/studio/ui/StudioPanel.java
@@ -1464,6 +1464,7 @@ private void refreshEditor() {
         lastQuery = null;
         refreshTitle();
         refreshActionState();
+        editor.getPane().getTextArea().requestFocus();  //without this, the search box would always get focus if visible
     }
 
     private void resultTabDragged(DragEvent event) {
@@ -1482,6 +1483,7 @@ public StudioPanel() {
         allPanels.add(this);
 
         tabbedEditors = new DraggableTabbedPane("Editor");
+        tabbedEditors.getInputMap().put(KeyStroke.getKeyStroke(KeyEvent.VK_F,menuShortcutKeyMask), editorFindAction);
         removeFocusChangeKeysForWindows(tabbedEditors);
         ClosableTabbedPane.makeCloseable(tabbedEditors, index -> {
             tabbedEditors.setSelectedIndex(index);