| 1,22 → 1,15 |
|---|
| /* This file contains only the PluginManagerInterface class. |
| /* |
| * This file contains the PluginManagerInterface interface. |
| * |
| * software practice |
| * ss_2003 |
| * group project: XML-Editor |
| * $Id: PluginManagerInterface.java,v 1.5 2003/07/15 10:28:48 swalkenh Exp $ |
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.6 $ |
| * |
| * Last modification: $Date: 2003/07/15 19:27:57 $ |
| * $Id: $ |
| */ |
| |
| ///* |
| // * This file contains the PluginManagerInterface interface. |
| // * |
| // * Coded by: Group 5, software practice summer 2003 |
| // * University of Bielefeld, Germany |
| // * |
| // * @version $Revision: 1.5 $ |
| // * |
| // * Last modification: $Date: 2003/07/15 10:28:48 $ |
| // */ |
| |
| package src.plugins; |
| |
| import javax.swing.event.TreeSelectionListener; |
| 31,7 → 24,7 |
|---|
| * |
| * @author Sascha Walkenhorst |
| * |
| * @version $Revision: 1.59 $ Last modification: $Date: 2003/07/15 19:22:36 $ |
| * @version $Revision: 1.6 $ Last modification: $Date: 2003/07/15 19:27:57 $ |
| */ |
| public interface PluginManagerInterface { |
| |