private final int min, max, step;
public NumberSelection(Editor editor, String name, int start, int min,
int max, int step) {
super(editor, new InterfaceNumberSelection(min, max, start, step), name);
this.min = min;
this.max = max;
this.step = step;
}