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