TAPAAL

Merge lp:~tapaal-contributor/tapaal/queryNameNotUpdated into lp:tapaal

  1. queryNameNotUpdated
  2. Merge into trunk
Proposed by Jakob Taankvist
Status: Merged
Approved by: Kenneth Yrke Jørgensen
Approved revision: 699
Merged at revision: 699
Proposed branch: lp:~tapaal-contributor/tapaal/queryNameNotUpdated
Merge into: lp:tapaal
Diff against target: 13 lines (+2/-1)
1 file modified
src/pipe/gui/widgets/QueryPane.java (+2/-1)
To merge this branch: bzr merge lp:~tapaal-contributor/tapaal/queryNameNotUpdated
Reviewer Review Type Date Requested Status
Kenneth Yrke Jørgensen code Approve
Jiri Srba Approve
Review via email: mp+104014@code.launchpad.net

Description of the change

Bug fix, the query panel is now updated after edits (bug fix)

To post a comment you must log in.
Revision history for this message
Jiri Srba (srba) :
review: Approve
Revision history for this message
Kenneth Yrke Jørgensen (yrke) :
review: Approve (code)

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 2012-02-17 19:48:41 +0000
3+++ src/pipe/gui/widgets/QueryPane.java 2012-04-29 11:20:24 +0000
4@@ -323,7 +323,8 @@
5 }
6
7 private void updateQuery(TAPNQuery oldQuery, TAPNQuery newQuery) {
8- oldQuery.set(newQuery);
9+ newQuery.setActive(oldQuery.isActive());
10+ listModel.set(listModel.indexOf(oldQuery), newQuery);
11 }
12
13 public Iterable<TAPNQuery> getQueries() {

Subscribers

People subscribed via source and target branches