TAPAAL

Merge lp:~yrke/tapaal/fixes-1821588-orphantransition into lp:tapaal/3.5

  1. fixes-1821588-orphantransition
  2. Merge into 3.5
Proposed by Kenneth Yrke Jørgensen
Status: Merged
Merged at revision: 1005
Proposed branch: lp:~yrke/tapaal/fixes-1821588-orphantransition
Merge into: lp:tapaal/3.5
Diff against target: 16 lines (+5/-1)
1 file modified
src/pipe/gui/ExportBatchDialog.java (+5/-1)
To merge this branch: bzr merge lp:~yrke/tapaal/fixes-1821588-orphantransition
Reviewer Review Type Date Requested Status
TAPAAL Maintainers Pending
Review via email: mp+365159@code.launchpad.net

Commit message

Added null check

To post a comment you must log in.

Preview Diff

[H/L] Next/Prev Comment, [J/K] Next/Prev File, [N/P] Next/Prev Hunk
1=== modified file 'src/pipe/gui/ExportBatchDialog.java'
2--- src/pipe/gui/ExportBatchDialog.java 2018-10-18 15:38:54 +0000
3+++ src/pipe/gui/ExportBatchDialog.java 2019-03-27 08:23:02 +0000
4@@ -100,7 +100,11 @@
5 ModelLoader loader = new ModelLoader();
6
7 public static boolean isDialogVisible() {
8- return exportBatchDialog.isVisible();
9+ if (exportBatchDialog != null) {
10+ return exportBatchDialog.isVisible();
11+ } else {
12+ return false;
13+ }
14 }
15
16 public static void setNoOrphanTransitions(boolean value) {

Subscribers

People subscribed via source and target branches