From 2313d0901cb1586490cfa430570b43251afb97c7 Mon Sep 17 00:00:00 2001 From: Brock Wilcox Date: Fri, 12 Apr 2024 20:54:21 -0400 Subject: [PATCH] Prevent overriding ctrl+A and ctrl+E [#256] I think these were mistakenly added to be similar to Emacs navigation --- .../main/java/edu/mit/csail/sdg/alloy4/OurSyntaxWidget.java | 4 ---- 1 file changed, 4 deletions(-) diff --git a/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/OurSyntaxWidget.java b/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/OurSyntaxWidget.java index 5c8aad794..da08d9d58 100644 --- a/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/OurSyntaxWidget.java +++ b/org.alloytools.alloy.core/src/main/java/edu/mit/csail/sdg/alloy4/OurSyntaxWidget.java @@ -160,12 +160,8 @@ public void keyPressed(KeyEvent e) { int modifier = Toolkit.getDefaultToolkit().getMenuShortcutKeyMask(); this.pane.getInputMap().put(KeyStroke.getKeyStroke(KeyEvent.VK_LEFT, modifier), "line.begin"); this.pane.getInputMap().put(KeyStroke.getKeyStroke(KeyEvent.VK_LEFT, modifier + InputEvent.SHIFT_DOWN_MASK), "line.begin"); - this.pane.getInputMap().put(KeyStroke.getKeyStroke(KeyEvent.VK_E, InputEvent.CTRL_DOWN_MASK), "line.begin"); - this.pane.getInputMap().put(KeyStroke.getKeyStroke(KeyEvent.VK_E, InputEvent.CTRL_DOWN_MASK + InputEvent.SHIFT_DOWN_MASK), "line.begin"); this.pane.getInputMap().put(KeyStroke.getKeyStroke(KeyEvent.VK_RIGHT, modifier), "line.end"); this.pane.getInputMap().put(KeyStroke.getKeyStroke(KeyEvent.VK_RIGHT, modifier + InputEvent.SHIFT_DOWN_MASK), "line.end"); - this.pane.getInputMap().put(KeyStroke.getKeyStroke(KeyEvent.VK_A, InputEvent.CTRL_DOWN_MASK), "line.end"); - this.pane.getInputMap().put(KeyStroke.getKeyStroke(KeyEvent.VK_A, InputEvent.CTRL_DOWN_MASK + InputEvent.SHIFT_DOWN_MASK), "line.end"); this.pane.getActionMap().put("line.begin", new AbstractAction() {