TAPAAL

Merge lp:~tapaal-contributor/tapaal/fix-toggle-urgent-transition-1950689 into lp:tapaal

  1. fix-toggle-urgent-transition-1950689
  2. Merge into trunk
Proposed by Kristian Morsing Pedersen
Status: Merged
Approved by: Jiri Srba
Approved revision: 1158
Merged at revision: 1159
Proposed branch: lp:~tapaal-contributor/tapaal/fix-toggle-urgent-transition-1950689
Merge into: lp:tapaal
Diff against target: 27 lines (+3/-0)
1 file modified
src/dk/aau/cs/gui/TabContent.java (+3/-0)
To merge this branch: bzr merge lp:~tapaal-contributor/tapaal/fix-toggle-urgent-transition-1950689
Reviewer Review Type Date Requested Status
Jiri Srba Approve
Review via email: mp+412176@code.launchpad.net

Commit message

Toggle urgent action in draw menu is now greyed out when in simulation mode

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/dk/aau/cs/gui/TabContent.java'
2--- src/dk/aau/cs/gui/TabContent.java 2021-11-05 14:11:49 +0000
3+++ src/dk/aau/cs/gui/TabContent.java 2021-11-20 17:38:00 +0000
4@@ -2941,6 +2941,7 @@
5 selectAction.setEnabled(true);
6 transAction.setEnabled(true);
7 uncontrollableTransAction.setEnabled(true);
8+ toggleUrgentAction.setEnabled(true);
9 timedPlaceAction.setEnabled(true);
10 timedArcAction.setEnabled(true);
11 transportArcAction.setEnabled(true);
12@@ -2955,6 +2956,7 @@
13 selectAction.setEnabled(false);
14 transAction.setEnabled(false);
15 uncontrollableTransAction.setEnabled(false);
16+ toggleUrgentAction.setEnabled(false);
17 timedPlaceAction.setEnabled(false);
18 timedArcAction.setEnabled(false);
19 transportArcAction.setEnabled(false);
20@@ -2968,6 +2970,7 @@
21 selectAction.setEnabled(false);
22 transAction.setEnabled(false);
23 uncontrollableTransAction.setEnabled(false);
24+ toggleUrgentAction.setEnabled(false);
25 timedPlaceAction.setEnabled(false);
26 timedArcAction.setEnabled(false);
27 transportArcAction.setEnabled(false);

Subscribers

People subscribed via source and target branches