Merge lp:~tapaal-contributor/tapaal/disable-workflow-analysis-1896319 into lp:tapaal

[Lena Ernstsen]

Disabled workflow analysis with game nets

[Jiri Srba (srba)]

review: Approve

=== modified file 'src/pipe/gui/GuiFrame.java'
--- src/pipe/gui/GuiFrame.java	2020-09-15 14:55:39 +0000
+++ src/pipe/gui/GuiFrame.java	2020-09-21 18:29:32 +0000
@@ -929,7 +929,11 @@
 
                 smartDrawAction.setEnabled(true);
                 mergeComponentsDialogAction.setEnabled(true);
-                workflowDialogAction.setEnabled(true);
+                if (gameFeatureOptions.getSelectedIndex() == 1) {
+                    workflowDialogAction.setEnabled(false);
+                } else {
+                    workflowDialogAction.setEnabled(true);
+                }
 
                 timeFeatureOptions.setEnabled(true);
                 gameFeatureOptions.setEnabled(true);