| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.42 $ |
| * @version $Revision: 1.43 $ |
| * |
| * Last modification: $Date: 2003/07/19 14:10:15 $ |
| * $Id: UpdateView.java,v 1.42 2003/07/19 14:10:15 cstollen Exp $ |
| * Last modification: $Date: 2003/07/19 14:12:50 $ |
| * $Id: UpdateView.java,v 1.43 2003/07/19 14:12:50 cstollen Exp $ |
| */ |
| |
| package src.gui; |
| 14,6 → 14,7 |
|---|
| |
| import java.awt.event.ActionEvent; |
| import java.awt.event.ActionListener; |
| |
| import java.util.Enumeration; |
| |
| import javax.swing.JOptionPane; |
| 24,13 → 25,9 |
|---|
| import javax.swing.event.TreeModelListener; |
| import javax.swing.event.TreeExpansionListener; |
| |
| |
| //added 14.07.03 Sascha W. - informations from plugins -> PluginManager -> thisClass, PluginManager adds path of old element |
| import javax.swing.tree.TreePath; |
| |
| import javax.swing.tree.TreeSelectionModel; |
| |
| |
| import org.w3c.dom.Document; |
| import org.w3c.dom.Node; |
| import org.w3c.dom.NodeList; |
| 47,7 → 44,7 |
|---|
| * |
| * @author Christian Stollenwerk |
| * |
| * @version $Revision: 1.42 $ Last modification: $Date: 2003/07/19 14:10:15 $ |
| * @version $Revision: 1.43 $ Last modification: $Date: 2003/07/19 14:12:50 $ |
| */ |
| public class UpdateView implements ActionListener, UpdateViewInterface, |
| OurEventListener, TreeModelListener, TreeExpansionListener { |
| 110,12 → 107,11 |
|---|
| * author Christian Stollenwerk |
| */ |
| public void update() { |
| if(documentManagerInterface.getOpendDocumentList().isEmpty()) |
| { |
| |
| if(documentManagerInterface.getOpendDocumentList().isEmpty()) { |
| gui.setTreeVisible(false); |
| } |
| else |
| { |
| else { |
| dividerPosition = gui.getDivider(); |
| gui.setTreeVisible(true); |
| // checks if an XPath-expression is set |
| 203,7 → 199,6 |
|---|
| * Last revision: 11-Jul-2003 |
| */ |
| public void setGuiReference(GUI g) { |
| |
| gui = g; |
| } |
| |
| 217,7 → 212,6 |
|---|
| * Last revision: 11-Jul-2003 |
| */ |
| public void setDocumentManagerInterface(DocumentManagerInterface docManInt) { |
| |
| documentManagerInterface = docManInt; |
| } |
| |
| 231,7 → 225,6 |
|---|
| * Last revision: 11-Jul-2003 |
| */ |
| public void setLogInterface(LogInterface logInt) { |
| |
| logInterface = logInt; |
| } |
| |
| 245,7 → 238,6 |
|---|
| * Last revision: 11-Jul-2003 |
| */ |
| public void setPluginManagerInterface(PluginManagerInterface plugManInt) { |
| |
| pluginManagerInterface = plugManInt; |
| } |
| |