TAPAAL

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

  1. slowLoadTrunk
  2. Merge into trunk
Proposed by Mathias Grund Sørensen
Status: Merged
Approved by: Kenneth Yrke Jørgensen
Approved revision: 708
Merged at revision: 708
Proposed branch: lp:~tapaal-contributor/tapaal/slowLoadTrunk
Merge into: lp:tapaal
Diff against target: 28 lines (+8/-3)
1 file modified
src/dk/aau/cs/gui/TemplateExplorer.java (+8/-3)
To merge this branch: bzr merge lp:~tapaal-contributor/tapaal/slowLoadTrunk
Reviewer Review Type Date Requested Status
Kenneth Yrke Jørgensen code Approve
Jiri Srba Approve
Review via email: mp+113362@code.launchpad.net
To post a comment you must log in.
Revision history for this message
Jiri Srba (srba) wrote :

Excellent, way faster!

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/dk/aau/cs/gui/TemplateExplorer.java'
2--- src/dk/aau/cs/gui/TemplateExplorer.java 2012-07-03 15:10:57 +0000
3+++ src/dk/aau/cs/gui/TemplateExplorer.java 2012-07-04 10:31:19 +0000
4@@ -787,16 +787,21 @@
5 }
6
7 public void updateTemplateList() {
8- listModel.clear();
9+ int selectedIndex = templateList.getSelectedIndex();
10+ DefaultListModel newList = new DefaultListModel();
11+
12 if(isInAnimationMode) {
13 for (Template net : parent.activeTemplates()) {
14- listModel.addElement(net);
15+ newList.addElement(net);
16 }
17 } else {
18 for (Template net : parent.allTemplates()) {
19- listModel.addElement(net);
20+ newList.addElement(net);
21 }
22 }
23+ listModel = newList;
24+ templateList.setModel(listModel);
25+ templateList.setSelectedIndex(selectedIndex);
26 }
27
28 public void selectFirst() {

Subscribers

People subscribed via source and target branches