or write your own:
PHP Code:
function TextEditControl.onTextChanged() {
temp.valid = "1234567890";
for (temp.i = 0; temp.i < TextEditControl.text.length(); temp.i++) {
temp.c = TextEditControl.charat(temp.i);
if (temp.valid.pos(temp.c) >= 0) temp.str @= temp.c;
}
TextEditControl.text = temp.str;
}