public TableIntegerProperty(JTable myTable, PropertySheet currentPS, String propName) {
super(propName, myTable, currentPS);
this.s4Integer = (S4Integer) currentPS.getProperty(propName, S4Integer.class).getAnnotation();
doubleEditor = new IntegerEditor(s4Integer.range()[0], s4Integer.range()[1]);
Object rawValue = propSheet.getInt(propName);
if (rawValue != null) doubleEditor.ftf.setValue(rawValue);
doubleEditor.ftf.invalidate();
// else
// doubleEditor.ftf.setValue(null);
}
public void restoreDefault() {
if (s4Integer.defaultValue() == S4Integer.NOT_DEFINED) setValue(null);
else setValue(s4Integer.defaultValue());
}
public boolean isDefault() {
if (propSheet.getRaw(getPropName()) == null) return false;
else return s4Integer.defaultValue() == (Integer) getValue();
}
