TAPAAL

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

  1. disable-workflow-analysis-1896319
  2. Merge into trunk
Proposed by Lena Ernstsen
Status: Merged
Approved by: Jiri Srba
Approved revision: 1103
Merged at revision: 1103
Proposed branch: lp:~tapaal-contributor/tapaal/disable-workflow-analysis-1896319
Merge into: lp:tapaal
Diff against target: 16 lines (+5/-1)
1 file modified
src/pipe/gui/GuiFrame.java (+5/-1)
To merge this branch: bzr merge lp:~tapaal-contributor/tapaal/disable-workflow-analysis-1896319
Reviewer Review Type Date Requested Status
Jiri Srba Approve
Review via email: mp+391071@code.launchpad.net

Commit message

Disabled workflow analysis with game nets

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 2020-09-15 14:55:39 +0000
3+++ src/pipe/gui/GuiFrame.java 2020-09-21 18:29:32 +0000
4@@ -929,7 +929,11 @@
5
6 smartDrawAction.setEnabled(true);
7 mergeComponentsDialogAction.setEnabled(true);
8- workflowDialogAction.setEnabled(true);
9+ if (gameFeatureOptions.getSelectedIndex() == 1) {
10+ workflowDialogAction.setEnabled(false);
11+ } else {
12+ workflowDialogAction.setEnabled(true);
13+ }
14
15 timeFeatureOptions.setEnabled(true);
16 gameFeatureOptions.setEnabled(true);

Subscribers

People subscribed via source and target branches