IntTextField(const Widget2 *const widget, const int def, const int min, const int max, const Enable enabled, const int width)
void setValue(const int value)
void setDefaultValue(const int value)
void setRange(const int minimum, const int maximum)
void keyPressed(KeyEvent &event)