NumberField.java

package nl.uva.sc.encoders.qlruntime.ui.control;

import javafx.scene.control.TextField;

public class NumberField extends TextField {

	@Override
	public void replaceText(int start, int end, String text) {
		if (text.matches("[0-9]*")) {
			super.replaceText(start, end, text);
		}
	}

	@Override
	public void replaceSelection(String text) {
		if (text.matches("[0-9]*")) {
			super.replaceSelection(text);
		}
	}

	public void setNumber(Number number) {
		setText(number.toString());
	}
}