Properly bind copy/paste shortcuts

Without this, copy/paste is handled somehow by the SWT widgets, but we also end up pasting c or v into the input form. Fixes #400.
SoarGroup · Sep 26, 2024 · a173b29 · a173b29
1 parent a86f3d7
commit a173b29
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Java/Debugger/src/edu/umich/soar/debugger/menu/EditMenu.java b/Java/Debugger/src/edu/umich/soar/debugger/menu/EditMenu.java
@@ -82,8 +82,8 @@ private BaseMenu makeMenu(Menu parent, String title)
     {
         BaseMenu menu = new BaseMenu(parent, title);
 
-        menu.add(m_Copy);
-        menu.add(m_Paste);
+        menu.add(m_Copy, SHORTCUT_KEY + 'C');
+        menu.add(m_Paste, SHORTCUT_KEY + 'V');
         menu.add(m_SelectAll, SHORTCUT_KEY + 'A');
         menu.addSeparator();
         menu.add(m_Search, SHORTCUT_KEY + 'F');