| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.8 $ |
| * @version $Revision: 1.9 $ |
| * |
| * Last modification: $Date: 2003/07/14 10:58:35 $ |
| * $Id: OtherGUIActions.java,v 1.8 2003/07/14 10:58:35 smcsporr Exp $ |
| * Last modification: $Date: 2003/07/15 14:38:34 $ |
| * $Id: OtherGUIActions.java,v 1.9 2003/07/15 14:38:34 hjokusch Exp $ |
| */ |
| |
| package src.control; |
| 29,6 → 29,7 |
|---|
| public OtherGUIActions() { |
| } |
| |
| // TODO JavaDoc-comments |
| public void setDocManagerInterface(DocumentManagerInterface doc) |
| { |
| docMaster = doc; |