| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.12 $ |
| * @version $Revision: 1.13 $ |
| * |
| * Last modification: $Date: 2003/07/16 15:54:46 $ |
| * $Id: OtherGUIActions.java,v 1.12 2003/07/16 15:54:46 hjokusch Exp $ |
| * Last modification: $Date: 2003/07/16 18:11:22 $ |
| * $Id: OtherGUIActions.java,v 1.13 2003/07/16 18:11:22 smcsporr Exp $ |
| */ |
| |
| package src.control; |
| 35,6 → 35,9 |
|---|
| * |
| * @param doc: A document manager conforming to src.control.DocumentManagerInterface. |
| * |
| * @see src.control.DocumentManager |
| * @see src.control.DocumentManagerInterface |
| * |
| * author Group 5 |
| */ |
| public void setDocManagerInterface(DocumentManagerInterface doc) |
| 51,6 → 54,8 |
|---|
| * |
| * author Group 5 |
| * |
| * @see java.awt.event.ActionEvent; |
| * |
| * Last revision: 16-Jul-2003 by S. McSporran |
| */ |
| public void actionPerformed(ActionEvent ae) { |