57 |
57 |
58 addKeyListener(new KeyAdapter() { |
58 addKeyListener(new KeyAdapter() { |
59 private void handle(KeyEvent e) { |
59 private void handle(KeyEvent e) { |
60 char c = e.getKeyChar(); |
60 char c = e.getKeyChar(); |
61 if (!e.isAltDown() && !e.isControlDown() && |
61 if (!e.isAltDown() && !e.isControlDown() && |
62 Character.isLetterOrDigit(c)) { |
62 !Character.isISOControl(c)) { |
63 // Perform clean input check |
63 // Perform clean input check |
64 if (getText().length() > 0 && getSelectedText() == null) { |
64 if (getText().length() > 0 && getSelectedText() == null) { |
65 e.consume(); |
65 if (c != KeyEvent.CHAR_UNDEFINED) { |
|
66 e.consume(); |
|
67 } |
66 } else { |
68 } else { |
67 if (c < '1' || c > '9') { |
69 if (c < '1' || c > '9') { |
68 e.consume(); |
70 e.consume(); |
69 } else { |
71 } else { |
70 setModified(true); |
72 setModified(true); |