log("Operation graph layout restored.");
}
}
private void restoreScrollLocation(final OperationGraph2D graph) {
final ScrollPosition position = layoutStore.restoreScrollPosition();
EventQueue.invokeLater(new Runnable() {
@Override
public void run() {
graph.restoreScrollLocation(position);