| 4,10 → 4,10 |
|---|
| * Coded by: Group 5, software practice summer 2003 |
| * University of Bielefeld, Germany |
| * |
| * @version $Revision: 1.119 $ |
| * @version $Revision: 1.120 $ |
| * |
| * Last modification: $Date: 2003/07/25 11:41:27 $ |
| * $Id: DocumentManager.java,v 1.119 2003/07/25 11:41:27 smcsporr Exp $ |
| * Last modification: $Date: 2003/07/25 12:39:49 $ |
| * $Id: DocumentManager.java,v 1.120 2003/07/25 12:39:49 hjokusch Exp $ |
| */ |
| |
| package src.control; |
| 50,7 → 50,7 |
|---|
| * |
| * @author Group 5 |
| * |
| * @version $Revision: 1.119 $ Last modification: $Date: 2003/07/25 11:41:27 $ |
| * @version $Revision: 1.120 $ Last modification: $Date: 2003/07/25 12:39:49 $ |
| */ |
| public class DocumentManager implements ActionListener,DocumentManagerInterface,ChangeListener { |
| |
| 194,9 → 194,10 |
|---|
| /* Labels for the available choice buttons. */ |
| String strDTD = "DTD"; |
| String strSchema = "XML schema"; |
| String strCancel = "No grammar"; |
| String strNoGrammar = "No grammar"; |
| String strCancel = "Cancel"; |
| |
| Object[] options = {strDTD, strSchema, strCancel}; |
| Object[] options = {strDTD, strSchema,strNoGrammar, strCancel,}; |
| |
| /* Show a dialog with the above options. */ |
| int answer = JOptionPane.showOptionDialog(null, |