private void openOptionsFromPage(OperationPage page, Operation op) {
editors.openEditor(page);
OperationGraphController controller = page.getGraphController();
OperationWrapperNode node = page.getGraph().getModel().getOperationNode(op);
controller.openOptionsUi(node);
}
private final class OptionsApplier implements Runnable {