}
}
public boolean isChangeAllowed(Operation op, OperationGraph2D graph) {
synchronized (lock) {
OperationPage dirty = findDirtyPageWithOperation(op, graph);
if (dirty != null) {
// TODO: Eventually we want to offer a "Save Other and Continue" option. That will
// require a lot of extra work, however, since the initiated action may not be
// continuable after the other graph has been saved. So for now we always disallow
// the change so that the user has to redo it after the dirty graph has been saved.