4,10 → 4,10 |
* Coded by: Group 5, software practice summer 2003 |
* University of Bielefeld, Germany |
* |
* @version $Revision: 1.114 $ |
* @version $Revision: 1.115 $ |
* |
* Last modification: $Date: 2003/07/24 15:43:24 $ |
* $Id: DocumentManager.java,v 1.114 2003/07/24 15:43:24 smcsporr Exp $ |
* Last modification: $Date: 2003/07/24 19:57:53 $ |
* $Id: DocumentManager.java,v 1.115 2003/07/24 19:57:53 smcsporr Exp $ |
*/ |
|
package src.control; |
50,7 → 50,7 |
* |
* @author Group 5 |
* |
* @version $Revision: 1.114 $ Last modification: $Date: 2003/07/24 15:43:24 $ |
* @version $Revision: 1.115 $ Last modification: $Date: 2003/07/24 19:57:53 $ |
*/ |
public class DocumentManager implements ActionListener,DocumentManagerInterface,ChangeListener { |
|
407,6 → 407,19 |
public File getActualDocumentFile() { |
return actualDocument.getFileName(); |
} |
|
/** |
* Returns the <code>PluginManagerInterface</code> saved in this instance. |
* Needed to get access for plugins to pluin manager |
* to perform custom transformation. |
* |
* @return The PluginManagerInterface. |
* |
* autor Y.Klassen, V.Zudova |
*/ |
public PluginManagerInterface getPluginManagerInterface() { |
return pluginManagerInterface; |
} |
|
/** |
* Sets the internal variable of <code>PluginManagerInterface</code>. Needed to |