From ee38f02075983245f094b0f5657dfaebf660f432 Mon Sep 17 00:00:00 2001 From: "John M. Penn" Date: Thu, 26 Sep 2024 12:08:35 -0500 Subject: [PATCH] Fix KeyStroke.getKeyStroke call. --- trick_source/java/src/main/java/trick/jobperf/JobPerf.java | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/trick_source/java/src/main/java/trick/jobperf/JobPerf.java b/trick_source/java/src/main/java/trick/jobperf/JobPerf.java index c410178d..b22b507f 100644 --- a/trick_source/java/src/main/java/trick/jobperf/JobPerf.java +++ b/trick_source/java/src/main/java/trick/jobperf/JobPerf.java @@ -450,13 +450,13 @@ class PerfMenuBar extends JMenuBar implements ActionListener { JMenu traceSizeMenu = new JMenu("TraceSize"); JMenuItem traceSizeMenuIncrease = new JMenuItem("Increase Trace Width"); traceSizeMenuIncrease.setActionCommand("increase-trace_width"); - KeyStroke ctrlPlus = KeyStroke.getKeyStroke(KeyEvent.VK_P, Toolkit.getDefaultToolkit().getMenuShortcutKeyMaskEx()); + KeyStroke ctrlPlus = KeyStroke.getKeyStroke('P', InputEvent.CTRL_MASK ); traceSizeMenuIncrease.setAccelerator(ctrlPlus); traceSizeMenuIncrease.addActionListener(this); traceSizeMenu.add(traceSizeMenuIncrease); JMenuItem traceSizeMenuDecrease = new JMenuItem("Decrease Trace Width"); traceSizeMenuDecrease.setActionCommand("decrease-trace_width"); - KeyStroke ctrlMinus = KeyStroke.getKeyStroke(KeyEvent.VK_MINUS, Toolkit.getDefaultToolkit().getMenuShortcutKeyMaskEx()); + KeyStroke ctrlMinus = KeyStroke.getKeyStroke('-', InputEvent.CTRL_MASK); traceSizeMenuDecrease.setAccelerator(ctrlMinus); traceSizeMenuDecrease.addActionListener(this); traceSizeMenu.add(traceSizeMenuDecrease);