4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.125 $ |
* @version $Revision: 1.126 $ |
* |
* Last modification: $Date: 2003/07/26 10:00:43 $ |
* $Id: DocumentManager.java,v 1.125 2003/07/26 10:00:43 smcsporr Exp $ |
* Last modification: $Date: 2003/07/26 10:51:14 $ |
* $Id: DocumentManager.java,v 1.126 2003/07/26 10:51:14 smcsporr Exp $ |
*/ |
|
package src.control; |
50,7 → 50,7 |
* |
* @author Group 5 |
* |
* @version $Revision: 1.125 $ Last modification: $Date: 2003/07/26 10:00:43 $ |
* @version $Revision: 1.126 $ Last modification: $Date: 2003/07/26 10:51:14 $ |
*/ |
public class DocumentManager implements ActionListener,DocumentManagerInterface,ChangeListener { |
|
395,7 → 395,6 |
updateView = view; |
} |
|
|
/** |
* This method returns the document object of the current <code>OurDocument</code> instance. |
* The current instance is the document currently chosen in the tabbed pane and displayed |
864,7 → 863,7 |
* |
* author S. McSporran |
* |
* Last revision: 26-Jul-2003 |
* Last revision: 26-Jul-2003 by S. McSporran |
*/ |
public void setNewDTD() { |
|
916,7 → 915,7 |
* |
* author S. McSporran |
* |
* Last revision: 14-Jul-2003 |
* Last revision: 26-Jul-2003 by S. McSporran |
*/ |
public void setNewSchema() { |
|
960,9 → 959,18 |
|
/** |
* <code>setNoDTD</code> deletes the DOCTYPE entry from an XML document's header. |
* |
* This will work only, if a Document Type Declaration can be found in the |
* current document. |
*/ |
public void setNoDTD(){ |
actualDocument.changeDTDGrammar(actualDocument.getDomDoc(),null); |
|
/* Check, if a DOCTYPE entry exists. */ |
if (actualDocument.getDomDoc() != null) { |
actualDocument.changeDTDGrammar(actualDocument.getDomDoc(),null); |
} else { |
log(LogInterface.TYPE_ERROR, "No DOCTYPE entry found in the current document."); |
} |
} |
|
/** |