4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.37 $ |
* @version $Revision: 1.38 $ |
* |
* Last modification: $Date: 2003/07/19 12:55:05 $ |
* $Id: UpdateView.java,v 1.37 2003/07/19 12:55:05 cstollen Exp $ |
* Last modification: $Date: 2003/07/19 12:58:12 $ |
* $Id: UpdateView.java,v 1.38 2003/07/19 12:58:12 cstollen Exp $ |
*/ |
|
package src.gui; |
47,7 → 47,7 |
* |
* @author Christian Stollenwerk |
* |
* @version $Revision: 1.37 $ Last modification: $Date: 2003/07/19 12:55:05 $ |
* @version $Revision: 1.38 $ Last modification: $Date: 2003/07/19 12:58:12 $ |
*/ |
public class UpdateView implements ActionListener, UpdateViewInterface, |
OurEventListener, TreeModelListener, TreeExpansionListener { |
132,6 → 132,7 |
|
}*/ |
newPopUpJTree = new PopUpJTree(newTreeModel); |
newPopUpJTree.addTreeExpansionListener(this); |
newPopUpJTree.getSelectionModel().setSelectionMode(TreeSelectionModel.SINGLE_TREE_SELECTION); |
newPopUpJTree.setRootVisible(false); |
|
148,9 → 149,13 |
new AdapterDomToTreeModel(documentManagerInterface.getActualDocument()); |
newTreeModel.setLogInterface(gui.getLogInterface()); |
newPopUpJTree = new PopUpJTree(newTreeModel); |
newPopUpJTree.addTreeExpansionListener(this); |
newPopUpJTree.getSelectionModel().setSelectionMode(TreeSelectionModel.SINGLE_TREE_SELECTION); |
newPopUpJTree.setRootVisible(false); |
|
|
// set the elements visible, which have been visible before |
treeVisibleList = documentManagerInterface.getActualVisibleTree(); |
System.out.println("treeVisibleList = " + treeVisibleList); |
if(treeVisibleList != null) { |
while(treeVisibleList.hasMoreElements()) { |
newPopUpJTree.makeVisible((TreePath)treeVisibleList.nextElement()); |
303,7 → 308,8 |
* @see javax.swing.event.TreeExpansionListener#treeExpanded(javax.swing.event.TreeExpansionEvent) |
*/ |
public void treeExpanded(TreeExpansionEvent arg0) { |
System.out.println("setActualVisibleTree: " + newPopUpJTree.getExpandedDescendants(newPopUpJTree.getPathForRow(0))); |
documentManagerInterface.setActualVisibleTree(newPopUpJTree.getExpandedDescendants( |
newPopUpJTree.getPathForRow(0))); |
newPopUpJTree.getPathForRow(1))); |
} |
} |