* Revision 1.3 2001/02/16 21:46:10 mdw
* Use a BufferedReader, not a LineNumberReader.
*
* Revision 1.3 2001/02/16 21:46:10 mdw
* Use a BufferedReader, not a LineNumberReader.
*
b = new Button("Settings...");
b.addActionListener(new ActionListener() {
public void actionPerformed(ActionEvent e) { settings(); }
b = new Button("Settings...");
b.addActionListener(new ActionListener() {
public void actionPerformed(ActionEvent e) { settings(); }