public void updateMode(UpdateMode updateMode) { workspace.updateMode(updateMode); }
public UpdateMode updateMode() { return workspace.updateMode(); }