dataModel.setValue("width", String.valueOf((int) dimension.getWidth()));
dataModel.setValue("height", String.valueOf((int) dimension.getHeight()));
dataModel.setValue("value", value);
dataModel.addModelChangeListener(new ModelChangeListener() {
public void modelChanged(ModelChangeEvent e) throws GUIException {
try {
int width = Integer.parseInt((String) dataModel.getValue("width"));
int height = Integer.parseInt((String) dataModel.getValue("height"));
dimension.setSize(width, height);
} catch (NumberFormatException ex) {
/* Ignore */
}
}
});
} else {
final Point point = (Point) value;
dataModel.setValue("width", String.valueOf(point.x));
dataModel.setValue("height", String.valueOf(point.y));
dataModel.setValue("value", value);
dataModel.addModelChangeListener(new ModelChangeListener() {
public void modelChanged(ModelChangeEvent e) throws GUIException {
try {
int x = Integer.parseInt((String) dataModel.getValue("width"));
int y = Integer.parseInt((String) dataModel.getValue("height"));