Merge lp:~yrke/tapaal/fix-1894109-NullPointerOnOpeningInhibArcDialog into lp:tapaal

Proposed by Kenneth Yrke Jørgensen
Status: Merged
Approved by: Jiri Srba
Approved revision: 1095
Merged at revision: 1095
Proposed branch: lp:~yrke/tapaal/fix-1894109-NullPointerOnOpeningInhibArcDialog
Merge into: lp:tapaal
Diff against target: 15 lines (+2/-3)
1 file modified
src/pipe/gui/widgets/GuardDialogue.java (+2/-3)
To merge this branch: bzr merge lp:~yrke/tapaal/fix-1894109-NullPointerOnOpeningInhibArcDialog
Reviewer Review Type Date Requested Status
Jiri Srba Approve
Review via email: mp+390535@code.launchpad.net
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/widgets/GuardDialogue.java'
2--- src/pipe/gui/widgets/GuardDialogue.java 2020-08-10 09:34:06 +0000
3+++ src/pipe/gui/widgets/GuardDialogue.java 2020-09-10 08:48:18 +0000
4@@ -74,9 +74,8 @@
5 myRootPane = rootPane;
6 setLayout(new GridBagLayout());
7
8- if(objectToBeEdited instanceof TimedInputArcComponent && !(objectToBeEdited instanceof TimedInhibitorArcComponent)){
9- initTimeGuardPanel();
10- }
11+ initTimeGuardPanel();
12+
13 if(!objectToBeEdited.isTimed() ){
14 guardEditPanel.setVisible(false);
15 }

Subscribers

People subscribed via source and target branches