Last change
on this file since 4659 was 4367, checked in by mdewsnip, 21 years ago |
Fixed tabbing.
|
-
Property svn:keywords
set to
Author Date Id Revision
|
File size:
763 bytes
|
Line | |
---|
1 | package org.greenstone.gatherer.gui;
|
---|
2 |
|
---|
3 | import javax.swing.*;
|
---|
4 | import javax.swing.text.*;
|
---|
5 |
|
---|
6 |
|
---|
7 | public class NumberField
|
---|
8 | extends JTextField {
|
---|
9 |
|
---|
10 | public NumberField(String text) {
|
---|
11 | super(text);
|
---|
12 | }
|
---|
13 |
|
---|
14 | protected Document createDefaultModel() {
|
---|
15 | return new NumberDocument();
|
---|
16 | }
|
---|
17 |
|
---|
18 | static class NumberDocument
|
---|
19 | extends PlainDocument {
|
---|
20 |
|
---|
21 | public void insertString(int offs, String str, AttributeSet a)
|
---|
22 | throws BadLocationException {
|
---|
23 |
|
---|
24 | if (str == null) {
|
---|
25 | return;
|
---|
26 | }
|
---|
27 | char[] raw = str.toCharArray();
|
---|
28 | StringBuffer result = new StringBuffer("");
|
---|
29 | for (int i = 0; i < raw.length; i++) {
|
---|
30 | if(Character.isDigit(raw[i])) {
|
---|
31 | result.append(raw[i]);
|
---|
32 | }
|
---|
33 | }
|
---|
34 | super.insertString(offs, result.toString(), a);
|
---|
35 | }
|
---|
36 | }
|
---|
37 | }
|
---|
Note:
See
TracBrowser
for help on using the repository browser.