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)
void keyPressed(KeyEvent &event)
const std::string & getText() const
void setText(const std::string &text)
void setCaretPosition(unsigned int position)