view/std/JSAddDbInstrumentsFromFileDlg.java

/*
 *   JSampler - a java front-end for LinuxSampler
 *
 *   Copyright (C) 2005-2007 Grigor Iliev <grigor@grigoriliev.com>
 *
 *   This file is part of JSampler.
 *
 *   JSampler is free software; you can redistribute it and/or modify
 *   it under the terms of the GNU General Public License version 2
 *   as published by the Free Software Foundation.
 *
 *   JSampler is distributed in the hope that it will be useful,
 *   but WITHOUT ANY WARRANTY; without even the implied warranty of
 *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
 *   GNU General Public License for more details.
 *
 *   You should have received a copy of the GNU General Public License
 *   along with JSampler; if not, write to the Free Software
 *   Foundation, Inc., 59 Temple Place, Suite 330, Boston,
 *   MA  02111-1307  USA
 */

package org.jsampler.view.std;

import java.awt.Dialog;
import java.awt.Dimension;
import java.awt.Frame;
import java.awt.Insets;

import java.awt.event.ActionEvent;
import java.awt.event.ActionListener;

import javax.swing.BorderFactory;
import javax.swing.Box;
import javax.swing.BoxLayout;
import javax.swing.ButtonGroup;
import javax.swing.Icon;
import javax.swing.JButton;
import javax.swing.JComboBox;
import javax.swing.JFileChooser;
import javax.swing.JPanel;
import javax.swing.JRadioButton;
import javax.swing.JSpinner;
import javax.swing.SpinnerNumberModel;
import javax.swing.SwingUtilities;

import javax.swing.event.DocumentEvent;
import javax.swing.event.DocumentListener;

import net.sf.juife.OkCancelDialog;
import net.sf.juife.Task;

import net.sf.juife.event.TaskEvent;
import net.sf.juife.event.TaskListener;

import org.jsampler.CC;
import org.jsampler.JSPrefs;
import org.jsampler.task.InstrumentsDb;

import static org.jsampler.view.std.StdI18n.i18n;
import static org.linuxsampler.lscp.Parser.*;

/**
 *
 * @author Grigor Iliev
 */
public class JSAddDbInstrumentsFromFileDlg extends OkCancelDialog {
        private final JRadioButton rbAllInstruments =
                new JRadioButton(i18n.getLabel("JSAddDbInstrumentsFromFileDlg.rbAllInstruments"));
        private final JRadioButton rbIndex =
                new JRadioButton(i18n.getLabel("JSAddDbInstrumentsFromFileDlg.rbIndex"));
        
        private final JComboBox cbSource = new JComboBox();
        private final JSpinner spinnerIndex = new JSpinner(new SpinnerNumberModel(0, 0, 500, 1));
        private JButton btnBrowse;
        private final JComboBox cbDest = new JComboBox();
        private JButton btnBrowseDb;
        
        /**
         * Creates a new instance of <code>JSAddDbInstrumentsFromFileDlg</code>
         */
        public
        JSAddDbInstrumentsFromFileDlg(Frame owner, String dbDir, Icon iconBrowse) {
                super(owner, i18n.getLabel("JSAddDbInstrumentsFromFileDlg.title"));
                
                initAddDbInstrumentsFromFileDlg(dbDir, iconBrowse);
        }
        
        /**
         * Creates a new instance of <code>JSAddDbInstrumentsFromFileDlg</code>
         */
        public
        JSAddDbInstrumentsFromFileDlg(Dialog owner, String dbDir, Icon iconBrowse) {
                super(owner, i18n.getLabel("JSAddDbInstrumentsFromFileDlg.title"));
                
                initAddDbInstrumentsFromFileDlg(dbDir, iconBrowse);
        }
        
        private void
        initAddDbInstrumentsFromFileDlg(String dbDir, Icon iconBrowse) {
                btnBrowse = new JButton(iconBrowse);
                btnBrowseDb = new JButton(iconBrowse);
                
                JPanel p = new JPanel();
                p.setLayout(new BoxLayout(p, BoxLayout.Y_AXIS));
                
                JPanel p2 = new JPanel();
                p2.setLayout(new BoxLayout(p2, BoxLayout.X_AXIS));
                p2.add(cbSource);
                p2.add(Box.createRigidArea(new Dimension(6, 0)));
                String s = i18n.getButtonLabel("browse");
                btnBrowse.setMargin(new Insets(0, 0, 0, 0));
                btnBrowse.setToolTipText(s);
                p2.add(btnBrowse);
                p2.setBorder(BorderFactory.createEmptyBorder(0, 3, 0, 3));
                p2.setMaximumSize(new Dimension(Short.MAX_VALUE, p2.getPreferredSize().height));
                p2.setAlignmentX(LEFT_ALIGNMENT);
                
                p.add(p2);
                
                p2 = new JPanel();
                p2.setLayout(new BoxLayout(p2, BoxLayout.X_AXIS));
                p2.add(rbAllInstruments);
                p2.setBorder(BorderFactory.createEmptyBorder(0, 3, 0, 3));
                p2.setAlignmentX(LEFT_ALIGNMENT);
                p.add(p2);
                
                p2 = new JPanel();
                p2.setLayout(new BoxLayout(p2, BoxLayout.X_AXIS));
                p2.add(rbIndex);
                p2.add(Box.createRigidArea(new Dimension(6, 0)));
                p2.add(spinnerIndex);
                p2.setBorder(BorderFactory.createEmptyBorder(0, 3, 3, 3));
                p2.setMaximumSize(new Dimension(Short.MAX_VALUE, p2.getPreferredSize().height));
                p2.setAlignmentX(LEFT_ALIGNMENT);
                
                p.add(p2);
                
                s = i18n.getLabel("JSAddDbInstrumentsFromFileDlg.source");
                p.setBorder(BorderFactory.createTitledBorder(s));
                
                JPanel mainPane = new JPanel();
                mainPane.setLayout(new BoxLayout(mainPane, BoxLayout.Y_AXIS));
                
                mainPane.add(p);
                mainPane.add(Box.createRigidArea(new Dimension(0, 6)));
                
                p = new JPanel();
                p.setLayout(new BoxLayout(p, BoxLayout.Y_AXIS));
                
                p2 = new JPanel();
                p2.setLayout(new BoxLayout(p2, BoxLayout.X_AXIS));
                p2.add(cbDest);
                p2.add(Box.createRigidArea(new Dimension(6, 0)));
                s = i18n.getButtonLabel("browse");
                btnBrowseDb.setMargin(new Insets(0, 0, 0, 0));
                btnBrowseDb.setToolTipText(s);
                p2.add(btnBrowseDb);
                p2.setBorder(BorderFactory.createEmptyBorder(0, 3, 3, 3));
                p2.setMaximumSize(new Dimension(Short.MAX_VALUE, p2.getPreferredSize().height));
                p2.setAlignmentX(LEFT_ALIGNMENT);
                
                p.add(p2);
                
                s = i18n.getLabel("JSAddDbInstrumentsFromFileDlg.dest");
                p.setBorder(BorderFactory.createTitledBorder(s));
                
                mainPane.add(p);
                Dimension d = mainPane.getPreferredSize();
                mainPane.setPreferredSize(new Dimension(d.width > 300 ? d.width : 300, d.height));
                                
                setMainPane(mainPane);
                
                setMinimumSize(this.getPreferredSize());
                setResizable(true);
                
                ButtonGroup group = new ButtonGroup();
                group.add(rbAllInstruments);
                group.add(rbIndex);
                rbAllInstruments.doClick(0);
                
                btnOk.setEnabled(false);
                spinnerIndex.setEnabled(false);
                
                cbSource.setEditable(true);
                String[] dirs = preferences().getStringListProperty("recentInstrumentFiles");
                for(String dir : dirs) cbSource.addItem(dir);
                cbSource.setSelectedItem(null);
                
                cbSource.setPreferredSize (
                        new Dimension(200, cbSource.getPreferredSize().height)
                );
                
                cbSource.addActionListener(getHandler());
                
                cbDest.setEditable(true);
                dirs = preferences().getStringListProperty("recentDbDirectories");
                for(String dir : dirs) cbDest.addItem(dir);
                cbDest.setSelectedItem(dbDir);
                
                
                cbDest.setPreferredSize (
                        new Dimension(200, cbDest.getPreferredSize().height)
                );
                
                cbDest.addActionListener(getHandler());
                
                
                btnBrowse.addActionListener(new ActionListener() {
                        public void
                        actionPerformed(ActionEvent e) { onBrowse(); }
                });
                
                rbAllInstruments.addActionListener(new ActionListener() {
                        public void
                        actionPerformed(ActionEvent e) {
                                spinnerIndex.setEnabled(rbIndex.isSelected());
                        }
                });
                
                rbIndex.addActionListener(new ActionListener() {
                        public void
                        actionPerformed(ActionEvent e) {
                                spinnerIndex.setEnabled(rbIndex.isSelected());
                        }
                });
                
                btnBrowseDb.addActionListener(new ActionListener() {
                        public void
                        actionPerformed(ActionEvent e) { onBrowseDb(); }
                });
        }
        
        protected JSPrefs
        preferences() { return CC.getViewConfig().preferences(); }
        
        private void
        onBrowse() {
                String path = preferences().getStringProperty("lastInstrumentLocation");
                JFileChooser fc = new JFileChooser(path);
                fc.setFileSelectionMode(JFileChooser.FILES_ONLY);
                int result = fc.showOpenDialog(this);
                if(result != JFileChooser.APPROVE_OPTION) return;
                
                String s = toEscapedString(fc.getSelectedFile().getPath());
                cbSource.setSelectedItem(s);
                path = fc.getCurrentDirectory().getAbsolutePath();
                preferences().setStringProperty("lastInstrumentLocation", path);
        }
        
        private void
        onBrowseDb() {
                JSDbDirectoryChooser dlg;
                dlg = new JSDbDirectoryChooser(JSAddDbInstrumentsFromFileDlg.this);
                Object o = cbDest.getSelectedItem();
                if(o != null && o.toString().length() > 0) dlg.setSelectedDirectory(o.toString());
                dlg.setVisible(true);
                if(dlg.isCancelled()) return;
                cbDest.setSelectedItem(dlg.getSelectedDirectory());
        }
        
        private void
        updateState() {
                Object o = cbSource.getSelectedItem();
                Object o2 = cbDest.getSelectedItem();
                boolean b = o != null && o.toString().length() > 0;
                b = b && o2 != null && o2.toString().length() > 0;
                btnOk.setEnabled(b);
        }
        
        protected void
        onOk() {
                if(!btnOk.isEnabled()) return;
                
                btnOk.setEnabled(false);
                String dbDir = cbDest.getSelectedItem().toString();
                String filePath = cbSource.getSelectedItem().toString();
                int idx = -1;
                if(rbIndex.isSelected()) idx = Integer.parseInt(spinnerIndex.getValue().toString());
                
                final Task<Integer> t = new InstrumentsDb.AddInstrumentsFromFile(dbDir, filePath, idx);
                t.addTaskListener(new TaskListener() {
                        public void
                        taskPerformed(TaskEvent e) {
                                updateState();
                                if(t.doneWithErrors()) return;
                                showProgress(t.getResult());
                        }
                });
                
                CC.getTaskQueue().add(t);
                
                StdUtils.updateRecentElements("recentInstrumentFiles", filePath);
                StdUtils.updateRecentElements("recentDbDirectories", dbDir);
        }
        
        private void
        showProgress(int jobId) {
                final JSAddDbInstrumentsProgressDlg dlg;
                dlg = new JSAddDbInstrumentsProgressDlg(this, jobId);
                SwingUtilities.invokeLater(new Runnable() {
                        public void
                        run() { dlg.setVisible(true); }
                });
        }
        
        protected void
        onCancel() { setVisible(false); }
        
        private final Handler eventHandler = new Handler();
        
        private Handler
        getHandler() { return eventHandler; }
        
        private class Handler implements DocumentListener, ActionListener {
                // DocumentListener
                public void
                insertUpdate(DocumentEvent e) { updateState(); }
                
                public void
                removeUpdate(DocumentEvent e) { updateState(); }
                
                public void
                changedUpdate(DocumentEvent e) { updateState(); }
                ///////
                
                public void
                actionPerformed(ActionEvent e) { updateState(); }
        }
}
1	/*
2	* JSampler - a java front-end for LinuxSampler
3	*
4	* Copyright (C) 2005-2007 Grigor Iliev <grigor@grigoriliev.com>
5	*
6	* This file is part of JSampler.
7	*
8	* JSampler is free software; you can redistribute it and/or modify
9	* it under the terms of the GNU General Public License version 2
10	* as published by the Free Software Foundation.
11	*
12	* JSampler is distributed in the hope that it will be useful,
13	* but WITHOUT ANY WARRANTY; without even the implied warranty of
14	* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15	* GNU General Public License for more details.
16	*
17	* You should have received a copy of the GNU General Public License
18	* along with JSampler; if not, write to the Free Software
19	* Foundation, Inc., 59 Temple Place, Suite 330, Boston,
20	* MA 02111-1307 USA
21	*/
22
23	package org.jsampler.view.std;
24
25	import java.awt.Dialog;
26	import java.awt.Dimension;
27	import java.awt.Frame;
28	import java.awt.Insets;
29
30	import java.awt.event.ActionEvent;
31	import java.awt.event.ActionListener;
32
33	import javax.swing.BorderFactory;
34	import javax.swing.Box;
35	import javax.swing.BoxLayout;
36	import javax.swing.ButtonGroup;
37	import javax.swing.Icon;
38	import javax.swing.JButton;
39	import javax.swing.JComboBox;
40	import javax.swing.JFileChooser;
41	import javax.swing.JPanel;
42	import javax.swing.JRadioButton;
43	import javax.swing.JSpinner;
44	import javax.swing.SpinnerNumberModel;
45	import javax.swing.SwingUtilities;
46
47	import javax.swing.event.DocumentEvent;
48	import javax.swing.event.DocumentListener;
49
50	import net.sf.juife.OkCancelDialog;
51	import net.sf.juife.Task;
52
53	import net.sf.juife.event.TaskEvent;
54	import net.sf.juife.event.TaskListener;
55
56	import org.jsampler.CC;
57	import org.jsampler.JSPrefs;
58	import org.jsampler.task.InstrumentsDb;
59
60	import static org.jsampler.view.std.StdI18n.i18n;
61	import static org.linuxsampler.lscp.Parser.*;
62
63	/**
64	*
65	* @author Grigor Iliev
66	*/
67	public class JSAddDbInstrumentsFromFileDlg extends OkCancelDialog {
68	private final JRadioButton rbAllInstruments =
69	new JRadioButton(i18n.getLabel("JSAddDbInstrumentsFromFileDlg.rbAllInstruments"));
70	private final JRadioButton rbIndex =
71	new JRadioButton(i18n.getLabel("JSAddDbInstrumentsFromFileDlg.rbIndex"));
72
73	private final JComboBox cbSource = new JComboBox();
74	private final JSpinner spinnerIndex = new JSpinner(new SpinnerNumberModel(0, 0, 500, 1));
75	private JButton btnBrowse;
76	private final JComboBox cbDest = new JComboBox();
77	private JButton btnBrowseDb;
78
79	/**
80	* Creates a new instance of <code>JSAddDbInstrumentsFromFileDlg</code>
81	*/
82	public
83	JSAddDbInstrumentsFromFileDlg(Frame owner, String dbDir, Icon iconBrowse) {
84	super(owner, i18n.getLabel("JSAddDbInstrumentsFromFileDlg.title"));
85
86	initAddDbInstrumentsFromFileDlg(dbDir, iconBrowse);
87	}
88
89	/**
90	* Creates a new instance of <code>JSAddDbInstrumentsFromFileDlg</code>
91	*/
92	public
93	JSAddDbInstrumentsFromFileDlg(Dialog owner, String dbDir, Icon iconBrowse) {
94	super(owner, i18n.getLabel("JSAddDbInstrumentsFromFileDlg.title"));
95
96	initAddDbInstrumentsFromFileDlg(dbDir, iconBrowse);
97	}
98
99	private void
100	initAddDbInstrumentsFromFileDlg(String dbDir, Icon iconBrowse) {
101	btnBrowse = new JButton(iconBrowse);
102	btnBrowseDb = new JButton(iconBrowse);
103
104	JPanel p = new JPanel();
105	p.setLayout(new BoxLayout(p, BoxLayout.Y_AXIS));
106
107	JPanel p2 = new JPanel();
108	p2.setLayout(new BoxLayout(p2, BoxLayout.X_AXIS));
109	p2.add(cbSource);
110	p2.add(Box.createRigidArea(new Dimension(6, 0)));
111	String s = i18n.getButtonLabel("browse");
112	btnBrowse.setMargin(new Insets(0, 0, 0, 0));
113	btnBrowse.setToolTipText(s);
114	p2.add(btnBrowse);
115	p2.setBorder(BorderFactory.createEmptyBorder(0, 3, 0, 3));
116	p2.setMaximumSize(new Dimension(Short.MAX_VALUE, p2.getPreferredSize().height));
117	p2.setAlignmentX(LEFT_ALIGNMENT);
118
119	p.add(p2);
120
121	p2 = new JPanel();
122	p2.setLayout(new BoxLayout(p2, BoxLayout.X_AXIS));
123	p2.add(rbAllInstruments);
124	p2.setBorder(BorderFactory.createEmptyBorder(0, 3, 0, 3));
125	p2.setAlignmentX(LEFT_ALIGNMENT);
126	p.add(p2);
127
128	p2 = new JPanel();
129	p2.setLayout(new BoxLayout(p2, BoxLayout.X_AXIS));
130	p2.add(rbIndex);
131	p2.add(Box.createRigidArea(new Dimension(6, 0)));
132	p2.add(spinnerIndex);
133	p2.setBorder(BorderFactory.createEmptyBorder(0, 3, 3, 3));
134	p2.setMaximumSize(new Dimension(Short.MAX_VALUE, p2.getPreferredSize().height));
135	p2.setAlignmentX(LEFT_ALIGNMENT);
136
137	p.add(p2);
138
139	s = i18n.getLabel("JSAddDbInstrumentsFromFileDlg.source");
140	p.setBorder(BorderFactory.createTitledBorder(s));
141
142	JPanel mainPane = new JPanel();
143	mainPane.setLayout(new BoxLayout(mainPane, BoxLayout.Y_AXIS));
144
145	mainPane.add(p);
146	mainPane.add(Box.createRigidArea(new Dimension(0, 6)));
147
148	p = new JPanel();
149	p.setLayout(new BoxLayout(p, BoxLayout.Y_AXIS));
150
151	p2 = new JPanel();
152	p2.setLayout(new BoxLayout(p2, BoxLayout.X_AXIS));
153	p2.add(cbDest);
154	p2.add(Box.createRigidArea(new Dimension(6, 0)));
155	s = i18n.getButtonLabel("browse");
156	btnBrowseDb.setMargin(new Insets(0, 0, 0, 0));
157	btnBrowseDb.setToolTipText(s);
158	p2.add(btnBrowseDb);
159	p2.setBorder(BorderFactory.createEmptyBorder(0, 3, 3, 3));
160	p2.setMaximumSize(new Dimension(Short.MAX_VALUE, p2.getPreferredSize().height));
161	p2.setAlignmentX(LEFT_ALIGNMENT);
162
163	p.add(p2);
164
165	s = i18n.getLabel("JSAddDbInstrumentsFromFileDlg.dest");
166	p.setBorder(BorderFactory.createTitledBorder(s));
167
168	mainPane.add(p);
169	Dimension d = mainPane.getPreferredSize();
170	mainPane.setPreferredSize(new Dimension(d.width > 300 ? d.width : 300, d.height));
171
172	setMainPane(mainPane);
173
174	setMinimumSize(this.getPreferredSize());
175	setResizable(true);
176
177	ButtonGroup group = new ButtonGroup();
178	group.add(rbAllInstruments);
179	group.add(rbIndex);
180	rbAllInstruments.doClick(0);
181
182	btnOk.setEnabled(false);
183	spinnerIndex.setEnabled(false);
184
185	cbSource.setEditable(true);
186	String[] dirs = preferences().getStringListProperty("recentInstrumentFiles");
187	for(String dir : dirs) cbSource.addItem(dir);
188	cbSource.setSelectedItem(null);
189
190	cbSource.setPreferredSize (
191	new Dimension(200, cbSource.getPreferredSize().height)
192	);
193
194	cbSource.addActionListener(getHandler());
195
196	cbDest.setEditable(true);
197	dirs = preferences().getStringListProperty("recentDbDirectories");
198	for(String dir : dirs) cbDest.addItem(dir);
199	cbDest.setSelectedItem(dbDir);
200
201
202	cbDest.setPreferredSize (
203	new Dimension(200, cbDest.getPreferredSize().height)
204	);
205
206	cbDest.addActionListener(getHandler());
207
208
209	btnBrowse.addActionListener(new ActionListener() {
210	public void
211	actionPerformed(ActionEvent e) { onBrowse(); }
212	});
213
214	rbAllInstruments.addActionListener(new ActionListener() {
215	public void
216	actionPerformed(ActionEvent e) {
217	spinnerIndex.setEnabled(rbIndex.isSelected());
218	}
219	});
220
221	rbIndex.addActionListener(new ActionListener() {
222	public void
223	actionPerformed(ActionEvent e) {
224	spinnerIndex.setEnabled(rbIndex.isSelected());
225	}
226	});
227
228	btnBrowseDb.addActionListener(new ActionListener() {
229	public void
230	actionPerformed(ActionEvent e) { onBrowseDb(); }
231	});
232	}
233
234	protected JSPrefs
235	preferences() { return CC.getViewConfig().preferences(); }
236
237	private void
238	onBrowse() {
239	String path = preferences().getStringProperty("lastInstrumentLocation");
240	JFileChooser fc = new JFileChooser(path);
241	fc.setFileSelectionMode(JFileChooser.FILES_ONLY);
242	int result = fc.showOpenDialog(this);
243	if(result != JFileChooser.APPROVE_OPTION) return;
244
245	String s = toEscapedString(fc.getSelectedFile().getPath());
246	cbSource.setSelectedItem(s);
247	path = fc.getCurrentDirectory().getAbsolutePath();
248	preferences().setStringProperty("lastInstrumentLocation", path);
249	}
250
251	private void
252	onBrowseDb() {
253	JSDbDirectoryChooser dlg;
254	dlg = new JSDbDirectoryChooser(JSAddDbInstrumentsFromFileDlg.this);
255	Object o = cbDest.getSelectedItem();
256	if(o != null && o.toString().length() > 0) dlg.setSelectedDirectory(o.toString());
257	dlg.setVisible(true);
258	if(dlg.isCancelled()) return;
259	cbDest.setSelectedItem(dlg.getSelectedDirectory());
260	}
261
262	private void
263	updateState() {
264	Object o = cbSource.getSelectedItem();
265	Object o2 = cbDest.getSelectedItem();
266	boolean b = o != null && o.toString().length() > 0;
267	b = b && o2 != null && o2.toString().length() > 0;
268	btnOk.setEnabled(b);
269	}
270
271	protected void
272	onOk() {
273	if(!btnOk.isEnabled()) return;
274
275	btnOk.setEnabled(false);
276	String dbDir = cbDest.getSelectedItem().toString();
277	String filePath = cbSource.getSelectedItem().toString();
278	int idx = -1;
279	if(rbIndex.isSelected()) idx = Integer.parseInt(spinnerIndex.getValue().toString());
280
281	final Task<Integer> t = new InstrumentsDb.AddInstrumentsFromFile(dbDir, filePath, idx);
282	t.addTaskListener(new TaskListener() {
283	public void
284	taskPerformed(TaskEvent e) {
285	updateState();
286	if(t.doneWithErrors()) return;
287	showProgress(t.getResult());
288	}
289	});
290
291	CC.getTaskQueue().add(t);
292
293	StdUtils.updateRecentElements("recentInstrumentFiles", filePath);
294	StdUtils.updateRecentElements("recentDbDirectories", dbDir);
295	}
296
297	private void
298	showProgress(int jobId) {
299	final JSAddDbInstrumentsProgressDlg dlg;
300	dlg = new JSAddDbInstrumentsProgressDlg(this, jobId);
301	SwingUtilities.invokeLater(new Runnable() {
302	public void
303	run() { dlg.setVisible(true); }
304	});
305	}
306
307	protected void
308	onCancel() { setVisible(false); }
309
310	private final Handler eventHandler = new Handler();
311
312	private Handler
313	getHandler() { return eventHandler; }
314
315	private class Handler implements DocumentListener, ActionListener {
316	// DocumentListener
317	public void
318	insertUpdate(DocumentEvent e) { updateState(); }
319
320	public void
321	removeUpdate(DocumentEvent e) { updateState(); }
322
323	public void
324	changedUpdate(DocumentEvent e) { updateState(); }
325	///////
326
327	public void
328	actionPerformed(ActionEvent e) { updateState(); }
329	}
330	}