Merge lp:~tapaal-contributor/tapaal/cpn-fix-missing-shortcut-1952521 into lp:~tapaal-contributor/tapaal/cpn-gui-dev

Proposed by Kristian Morsing Pedersen
Status: Merged
Approved by: Jiri Srba
Approved revision: 1482
Merged at revision: 1482
Proposed branch: lp:~tapaal-contributor/tapaal/cpn-fix-missing-shortcut-1952521
Merge into: lp:~tapaal-contributor/tapaal/cpn-gui-dev
Diff against target: 12 lines (+1/-1)
1 file modified
src/pipe/gui/GuiFrame.java (+1/-1)
To merge this branch: bzr merge lp:~tapaal-contributor/tapaal/cpn-fix-missing-shortcut-1952521
Reviewer Review Type Date Requested Status
Jiri Srba Approve
Review via email: mp+412698@code.launchpad.net

Commit message

Fixed missing shortcut CMD-X for import PNML

To post a comment you must log in.
Revision history for this message
Jiri Srba (srba) :
review: Approve

Preview Diff

[H/L] Next/Prev Comment, [J/K] Next/Prev File, [N/P] Next/Prev Hunk
1=== modified file 'src/pipe/gui/GuiFrame.java'
2--- src/pipe/gui/GuiFrame.java 2021-12-01 20:03:36 +0000
3+++ src/pipe/gui/GuiFrame.java 2021-12-02 15:43:06 +0000
4@@ -111,7 +111,7 @@
5 Export.exportGuiView(getCurrentTab().drawingSurface(), Export.PRINTER, null);
6 }
7 };
8- private final GuiAction importPNMLAction = new GuiAction("PNML untimed net", "Import an untimed net in the PNML format") {
9+ private final GuiAction importPNMLAction = new GuiAction("PNML untimed net", "Import an untimed net in the PNML format", KeyStroke.getKeyStroke('X', shortcutkey)) {
10 public void actionPerformed(ActionEvent arg0) {
11 guiFrameController.ifPresent(GuiFrameControllerActions::importPNMLFile);
12 }

Subscribers

People subscribed via source and target branches

to all changes: