Subversion Repositories general

Compare Revisions

Ignore whitespace Rev 835 → Rev 836

/sun/xmleditor/trunk/src/control/DocumentManager.java
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.");
}
}
/**