lp:~tapaal-contributor/tapaal/cpn-fix-missing-shortcut-1952521

Branch merges

Propose for merging

No branches dependent on this one.

Merged into lp:~tapaal-contributor/tapaal/cpn-gui-dev at revision 1482

Jiri Srba: Approve on 2021-12-04

Diff: 12 lines (+1/-1)

1 file modified

src/pipe/gui/GuiFrame.java (+1/-1)

api

Related source package recipes

No recipes using this branch. (?)

Create packaging recipe

Related snap packages

Related bugs

Bug #1952521: cmd-X shortcut (import PNML) missing

Undecided

Fix Committed

Link a bug report

Related blueprints

1482. By Kristian Morsing Pedersen <email address hidden> on 2021-12-02

Fixed missing CMD-X shortcut (import PNML)

1481. By Lena Ernstsen on 2021-12-01

Made it possible to have a colored game net

1480. By Lena Ernstsen on 2021-11-26

Fixed exporting to TACPN from query dialog

1479. By Lena Ernstsen on 2021-11-25

Added new example net

1478. By Lena Ernstsen on 2021-11-25

Fixed colored nets not being exported correctly to XML + Added colored example nets

1477. By Jiri Srba on 2021-11-23

increased the minimum required version of all three engines

1476. By Lena Ernstsen on 2021-11-23

merged trunk

1475. By Kenneth Yrke Jørgensen on 2021-11-18

Removed old fall-back file-dialog only used if java <7 (not supported)

1474. By Jiri Srba on 2021-11-05

merged with trunk

1473. By Lena Ernstsen on 2021-11-05

tokens do not disappear when making place shared