adding ctrl+shift+W (or command+shift+W for Mac) for result tab closure

dzmipt · Jan 5, 2024 · 7e6efcf · 7e6efcf
1 parent 7d118d2
commit 7e6efcf
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/src/studio/ui/ClosableTabbedPane.java b/src/studio/ui/ClosableTabbedPane.java
@@ -1,9 +1,12 @@
 package studio.ui;
 
 import javax.swing.*;
+import java.awt.event.KeyEvent;
 import java.awt.event.MouseAdapter;
 import java.awt.event.MouseEvent;
 
+import static javax.swing.JComponent.WHEN_ANCESTOR_OF_FOCUSED_COMPONENT;
+
 public class ClosableTabbedPane {
 
     public interface CloseTabAction {
@@ -51,6 +54,13 @@ private boolean checkPopup(int tabIndex, MouseEvent e) {
             }
         });
 
+        tabbedPane.getInputMap(WHEN_ANCESTOR_OF_FOCUSED_COMPONENT).put(KeyStroke.getKeyStroke(KeyEvent.VK_W, StudioWindow.menuShortcutKeyMask | KeyEvent.SHIFT_MASK), "closeTab");
+        tabbedPane.getActionMap().put("closeTab",
+                UserAction.create("Close tab", e -> {
+                    int index = tabbedPane.getSelectedIndex();
+                    if (index != -1) closeTabAction.close(index, true);
+                })  );
+
     }
 
     private static JPopupMenu createTabbedPopupMenu(JTabbedPane tabbedPane, CloseTabAction closeTabAction, int index) {