Subversion Repositories general

Compare Revisions

Ignore whitespace Rev 880 → Rev 881

/sun/xmleditor/trunk/src/gui/UpdateView.java
4,10 → 4,10
* Coded by: Group 5, software practice summer 2003
* University of Bielefeld, Germany
*
* @version $Revision: 1.56 $
* @version $Revision: 1.58 $
*
* Last modification: $Date: 2003/07/26 13:05:25 $
* $Id: UpdateView.java,v 1.56 2003/07/26 13:05:25 smcsporr Exp $
* Last modification: $Date: 2003/07/28 13:23:15 $
* $Id: UpdateView.java,v 1.58 2003/07/28 13:23:15 cstollen Exp $
*/
 
package src.gui;
47,7 → 47,7
*
* @author Christian Stollenwerk
*
* @version $Revision: 1.56 $ Last modification: $Date: 2003/07/26 13:05:25 $
* @version $Revision: 1.58 $ Last modification: $Date: 2003/07/28 13:23:15 $
*/
public class UpdateView implements ActionListener, UpdateViewInterface,
OurEventListener, TreeModelListener, TreeExpansionListener, TreeSelectionListener {
68,7 → 68,7
private boolean makeTreeView = false;
/** A validator is needed to check, if the current document confirms to it's grammar. */
private Validator validator = new Validator(logInterface, gui.getStatusInterface());
private Validator validator;
/**
* Empty constructor.
278,6 → 278,8
*/
public void setLogInterface(LogInterface logInt) {
logInterface = logInt;
validator = new Validator(logInt, gui.getStatusInterface());
}
/**
397,6 → 399,9
*/
private void validate() {
/* Update the document with the content of the plugin */
pluginManagerInterface.forcePluginReport();
/* Check, if a grammar has been specified. */
if ((documentManagerInterface.getActualDocument().getDocumentElement().hasAttribute("xsi:schemaLocation")) ||
(documentManagerInterface.getActualDocument().getDoctype() != null)) {