Issue #1468 Make DataStoreResource update labels when magnification is changed.

Change-Id: I1337db46d620aba6cc8939f4f42b25322dc81a98

Former-commit-id: 5918458b70 [formerly 473cfc2dbd3406a1602f84daf1ca320228b3b1ed]
Former-commit-id: 3acf0edad0
This commit is contained in:
Ron Anderson 2013-01-09 15:52:08 -06:00
parent b05bf7b6e2
commit 56364be3ce

View file

@ -1398,6 +1398,11 @@ public class DataStoreResource extends
// force rebuild of shaded shape to pick up color change
lastExtent = null;
}
} else if (object instanceof MagnificationCapability) {
if (font != null) {
font.dispose();
font = null;
}
}
}
issueRefresh();