328329330331332333334335336337338
settings.put(s, Integer.parseInt(str)); } catch (NumberFormatException e1) { SwingUtilities.invokeLater(new Runnable() { public void run() { te.setText(settings.get(s).toString()); te.repaint(); } }); } } public void insertUpdate(DocumentEvent e) {
342343344345346347348349350351352
settings.put(s, Integer.parseInt(str)); } catch (NumberFormatException e1) { SwingUtilities.invokeLater(new Runnable() { public void run() { te.setText(settings.get(s).toString()); te.repaint(); } }); } } public void changedUpdate(DocumentEvent e) {