checkBox.setBorder(Empty.border(10, 0, 0, 0));
return checkBox;
}
private OverlayPositioner getPositioner() {
return new OverlayCenterPositioner();
/* TODO: Place the overlay on top of the new operation node. The tricky part
* is getting this to work when the new operation node ends up outside of the
* visible area of the graph, so that the graph must auto-scroll to display it.
OperationGraphLayout layout = controller.getGraph().getLayout();
Rectangle bounds = layout.getBounds(opNode);