TAPAAL

Merge lp:~tapaal-contributor/tapaal/fix-1890247 into lp:tapaal

  1. fix-1890247
  2. Merge into trunk
Proposed by Peter Haahr Taankvist
Status: Merged
Approved by: Jiri Srba
Approved revision: 1072
Merged at revision: 1072
Proposed branch: lp:~tapaal-contributor/tapaal/fix-1890247
Merge into: lp:tapaal
Diff against target: 11 lines (+1/-1)
1 file modified
src/pipe/gui/widgets/QueryPane.java (+1/-1)
To merge this branch: bzr merge lp:~tapaal-contributor/tapaal/fix-1890247
Reviewer Review Type Date Requested Status
Jiri Srba Approve
Review via email: mp+388644@code.launchpad.net

Commit message

Add quick check if query is null before adding it, if it is we do not add it

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/QueryPane.java'
2--- src/pipe/gui/widgets/QueryPane.java 2020-08-03 14:47:11 +0000
3+++ src/pipe/gui/widgets/QueryPane.java 2020-08-04 07:37:59 +0000
4@@ -327,7 +327,7 @@
5 } else {
6 q = QueryDialog.showQueryDialogue(QueryDialogueOption.Save, null, tabContent.network(), tabContent.getGuiModels());
7 }
8-
9+ if(q == null) return;
10 undoManager.addNewEdit(new AddQueryCommand(q, tabContent));
11 addQuery(q);
12

Subscribers

People subscribed via source and target branches