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, |