(ListSelectionEvent e)
| 176 | fontSelector = new JList<String>(list); |
| 177 | fontSelector.addListSelectionListener(new ListSelectionListener() { |
| 178 | public void valueChanged(ListSelectionEvent e) { |
| 179 | if (e.getValueIsAdjusting() == false) { |
| 180 | selection = fontSelector.getSelectedIndex(); |
| 181 | okButton.setEnabled(true); |
| 182 | update(); |
| 183 | } |
| 184 | } |
| 185 | }); |
| 186 | |
| 187 | fontSelector.setSelectionMode(ListSelectionModel.SINGLE_SELECTION); |