From a173b293ca33ba95126ed5b9147ec02519a520e9 Mon Sep 17 00:00:00 2001 From: Nathan Glenn Date: Thu, 26 Sep 2024 14:16:40 -0500 Subject: [PATCH] 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. --- Java/Debugger/src/edu/umich/soar/debugger/menu/EditMenu.java | 4 ++-- 1 file changed, 2 insertions(+), 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 index 7f55d69c4e..0207bb3f87 100644 --- 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');