| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.40 $ |
| * @version $Revision: 1.41 $ |
| * |
| * Last modification: $Date: 2003/07/19 13:20:40 $ |
| * $Id: UpdateView.java,v 1.40 2003/07/19 13:20:40 cstollen Exp $ |
| * Last modification: $Date: 2003/07/19 13:33:28 $ |
| * $Id: UpdateView.java,v 1.41 2003/07/19 13:33:28 cstollen Exp $ |
| */ |
| |
| package src.gui; |
| 47,7 → 47,7 |
|---|
| * |
| * @author Christian Stollenwerk |
| * |
| * @version $Revision: 1.40 $ Last modification: $Date: 2003/07/19 13:20:40 $ |
| * @version $Revision: 1.41 $ Last modification: $Date: 2003/07/19 13:33:28 $ |
| */ |
| public class UpdateView implements ActionListener, UpdateViewInterface, |
| OurEventListener, TreeModelListener, TreeExpansionListener { |
| 65,6 → 65,7 |
|---|
| private int dividerPosition; |
| private PopUpJTree newPopUpJTree; |
| private Enumeration treeVisibleList; |
| private boolean makeTreeView = false; |
| |
| public UpdateView() { |
| } |
| 157,11 → 158,15 |
|---|
| treeVisibleList = documentManagerInterface.getActualVisibleTree(); |
| System.out.println("treeVisibleList = " + treeVisibleList); |
| if(treeVisibleList != null) { |
| makeTreeView = true; |
| System.out.println("treeVisibleList.hasMoreElements() = " + treeVisibleList.hasMoreElements()); |
| while(treeVisibleList.hasMoreElements()) { |
| System.out.println("makeVisible " + (TreePath)treeVisibleList.nextElement()); |
| newPopUpJTree.makeVisible((TreePath)treeVisibleList.nextElement()); |
| TreePath nextElement = (TreePath)treeVisibleList.nextElement(); |
| System.out.println("expandPath " + nextElement); |
| newPopUpJTree.expandPath(nextElement); |
| } |
| newPopUpJTree.treeDidChange(); |
| makeTreeView = false; |
| } |
| |
| //added 070703 Sascha W. |
| 310,8 → 315,10 |
|---|
| * @see javax.swing.event.TreeExpansionListener#treeExpanded(javax.swing.event.TreeExpansionEvent) |
| */ |
| public void treeExpanded(TreeExpansionEvent arg0) { |
| System.out.println("setActualVisibleTree: " + newPopUpJTree.getExpandedDescendants(newPopUpJTree.getPathForRow(1))); |
| documentManagerInterface.setActualVisibleTree(newPopUpJTree.getExpandedDescendants( |
| newPopUpJTree.getPathForRow(1))); |
| if(! makeTreeView) { |
| System.out.println("setActualVisibleTree: " + newPopUpJTree.getExpandedDescendants(newPopUpJTree.getAnchorSelectionPath())); |
| documentManagerInterface.setActualVisibleTree(newPopUpJTree.getExpandedDescendants( |
| newPopUpJTree.getAnchorSelectionPath())); |
| } |
| } |
| } |