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())); |
} |
} |
} |