| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.133 $ |
| * @version $Revision: 1.134 $ |
| * |
| * Last modification: $Date: 2003/07/28 11:54:17 $ |
| * $Id: DocumentManager.java,v 1.133 2003/07/28 11:54:17 swalkenh Exp $ |
| * Last modification: $Date: 2003/07/28 13:21:09 $ |
| * $Id: DocumentManager.java,v 1.134 2003/07/28 13:21:09 smcsporr Exp $ |
| */ |
| |
| package src.control; |
| 14,7 → 14,6 |
|---|
| |
| import java.awt.event.ActionEvent; |
| import java.awt.event.ActionListener; |
| import java.awt.event.ItemEvent; |
| |
| import java.io.File; |
| |
| 51,7 → 50,7 |
|---|
| * |
| * @author Group 5 |
| * |
| * @version $Revision: 1.133 $ Last modification: $Date: 2003/07/28 11:54:17 $ |
| * @version $Revision: 1.134 $ Last modification: $Date: 2003/07/28 13:21:09 $ |
| */ |
| public class DocumentManager implements ActionListener, DocumentManagerInterface, |
| ChangeListener { |
| 326,13 → 325,8 |
|---|
| /**/ |
| if (event.getID() == ActionEvent.ITEM_EVENT_MASK) { |
| |
| if (event == ItemEvent.SELECTED) { |
| autoValidationOn = true; |
| log(LogInterface.TYPE_INFO, "Auto-validation on."); |
| } else { |
| autoValidationOn = false; |
| log(LogInterface.TYPE_INFO, "Auto-validation off."); |
| } |
| log(LogInterface.TYPE_INFO, event.getActionCommand()); |
| log(LogInterface.TYPE_INFO, event.toString()); |
| } |
| |
| /* Actions to perform if the user choosed to change the curent document's DTD. */ |