4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.53 $ |
* @version $Revision: 1.54 $ |
* |
* Last modification: $Date: 2003/07/24 13:56:00 $ |
* $Id: UpdateView.java,v 1.53 2003/07/24 13:56:00 smcsporr Exp $ |
* Last modification: $Date: 2003/07/25 11:48:51 $ |
* $Id: UpdateView.java,v 1.54 2003/07/25 11:48:51 hjokusch Exp $ |
*/ |
|
package src.gui; |
46,7 → 46,7 |
* |
* @author Christian Stollenwerk |
* |
* @version $Revision: 1.53 $ Last modification: $Date: 2003/07/24 13:56:00 $ |
* @version $Revision: 1.54 $ Last modification: $Date: 2003/07/25 11:48:51 $ |
*/ |
public class UpdateView implements ActionListener, UpdateViewInterface, |
OurEventListener, TreeModelListener, TreeExpansionListener, TreeSelectionListener { |
167,7 → 167,7 |
newTreeModel |
= new AdapterDomToTreeModel( |
documentManagerInterface.getActualDocument(), nodeList); |
newTreeModel.setLogInterface(gui.getLogInterface()); |
newTreeModel.setLogInterface(gui.getLogPanelImpl()); |
/*for(int i = 1; i <= nodeList.getLength(); i++) { |
//AdapterNode adapterNode = new AdapterNode(nodeList.item(i)); |
//helpRoot.add(nodeList.item(i)); |
189,7 → 189,7 |
else { |
newTreeModel = |
new AdapterDomToTreeModel(documentManagerInterface.getActualDocument()); |
newTreeModel.setLogInterface(gui.getLogInterface()); |
newTreeModel.setLogInterface(gui.getLogPanelImpl()); |
newPopUpJTree = new PopUpJTree(newTreeModel); |
newPopUpJTree.addTreeExpansionListener(this); |
newPopUpJTree.getSelectionModel().setSelectionMode(TreeSelectionModel.SINGLE_TREE_SELECTION); |