Merge lp:~tapaal-contributor/tapaal/change-export-batch-shortcut-1820012 into lp:tapaal

[Peter Haahr Taankvist]

Changed shortcut for exporting batch to ctrl + shift + D from ctrl + k. Thought this made sense because export to PNML was ctrl + D.

[Jiri Srba (srba)]

review: Approve

=== modified file 'src/pipe/gui/GuiFrame.java'
--- src/pipe/gui/GuiFrame.java	2019-03-13 07:27:29 +0000
+++ src/pipe/gui/GuiFrame.java	2019-03-14 17:38:01 +0000
@@ -20,14 +20,12 @@
 import javax.swing.*;
 import javax.swing.event.ChangeEvent;
 import javax.swing.event.ChangeListener;
-
 import com.apple.eawt.Application;
 import dk.aau.cs.gui.TabTransformer;
 import dk.aau.cs.model.tapn.*;
 import dk.aau.cs.verification.VerifyTAPN.VerifyPN;
 import net.tapaal.Preferences;
 import com.sun.jna.Platform;
-
 import net.tapaal.TAPAAL;
 import pipe.dataLayer.DataLayer;
 import pipe.dataLayer.NetType;
@@ -2558,7 +2556,7 @@
 			}
 		});
 
-		exportMenu.add(exportBatchAction = new GuiAction("Batch Export to PNML and XML Queries", "Export multiple nets into PNML together with the XML queries, while removing the timing information",  KeyStroke.getKeyStroke('K', shortcutkey )) {
+		exportMenu.add(exportBatchAction = new GuiAction("Batch Export to PNML and XML Queries", "Export multiple nets into PNML together with the XML queries, while removing the timing information",  KeyStroke.getKeyStroke('D', (shortcutkey + InputEvent.SHIFT_DOWN_MASK))) {
 			@Override
 			public void actionPerformed(ActionEvent e) {
 				ExportBatchDialog.ShowExportBatchDialog();