// We override reveal to show the Handles of the selected EditPart when
// scrolling
public void reveal(EditPart part) {
// In some case, the editor control is not created, but get the sync selection event.
// Fix this problem temporary.
if (getFigureCanvas() == null || getFigureCanvas().isDisposed()) {
return;
}
Viewport port = getFigureCanvas().getViewport();
IFigure target = ((GraphicalEditPart) part).getFigure();
Rectangle exposeRegion = target.getBounds().getCopy();
// Get the primary editpolicy
EditPolicy policy = part.getEditPolicy(EditPolicy.PRIMARY_DRAG_ROLE);
// If the policy let us access the handles, proceed, otherwise
// default to original behaviour
if (!(policy instanceof ISelectionHandlesEditPolicy)) {
super.reveal(part);
return;
}
// First translate exposeRegion to the root level
target = target.getParent();
while (target != null && target != port) {
target.translateToParent(exposeRegion);
target = target.getParent();
}
// Merge selection handles if any to the exposeRegion
List handles = ((ISelectionHandlesEditPolicy) policy).getHandles();
for (Iterator iter = handles.iterator(); iter.hasNext(); ) {
AbstractHandle handle = (AbstractHandle) iter.next();
Locator locator = handle.getLocator();
locator.relocate(handle);
exposeRegion.union(handle.getBounds().getCopy());
}
exposeRegion.getExpanded(5, 5);
Dimension viewportSize = port.getClientArea().getSize();
Point topLeft = exposeRegion.getTopLeft();
Point bottomRight = exposeRegion.getBottomRight().translate(viewportSize.getNegated());
Point finalLocation = new Point();
if (viewportSize.width < exposeRegion.width)
finalLocation.x = Math.min(bottomRight.x, Math.max(topLeft.x, port.getViewLocation().x));
else finalLocation.x = Math.min(topLeft.x, Math.max(bottomRight.x, port.getViewLocation().x));
if (viewportSize.height < exposeRegion.height)
finalLocation.y = Math.min(bottomRight.y, Math.max(topLeft.y, port.getViewLocation().y));
else finalLocation.y = Math.min(topLeft.y, Math.max(bottomRight.y, port.getViewLocation().y));
getFigureCanvas().scrollSmoothTo(finalLocation.x, finalLocation.y);
}
public void focusGained(org.eclipse.swt.events.FocusEvent event) {
VisualTerm previousFocused = context.getFocused();
if (previousFocused != null) previousFocused.lostFocus();
context.setFocused(this);
LineBorder focusBorder = new LineBorder();
focusBorder.setStyle(Graphics.LINE_DASH);
focusBorder.setColor(getColor());
focusBorder.setWidth(1);
setBorder(focusBorder);
context.selectionChanged(this);
if (canModify()) {
try {
String text = termToText();
context.getTextEditor().setText(text);
context.getTextEditor().setEnabled(true);
context.getTextEditor().setSelection(0, text.length());
context.getTextEditor().addKeyListener(this);
context.getTextEditor().setFocus();
Viewport viewport = ((FigureCanvas) getCanvas()).getViewport();
Point p = viewport.getViewLocation();
if (p.y > getLocation().y) {
viewport.setViewLocation(new Point(p.x, getLocation().y));
} else if (p.y + viewport.getSize().height < getLocation().y + getSize().height
&& viewport.getSize().height > getSize().height) {
viewport.setViewLocation(
new Point(p.x, getLocation().y + getSize().height - viewport.getSize().height));
}
if (p.x > getLocation().x) {
viewport.setViewLocation(new Point(getLocation().x, p.y));
} else if (p.x + viewport.getSize().width < getLocation().x + getSize().width
&& viewport.getSize().width > getSize().width) {
viewport.setViewLocation(
new Point(getLocation().x + getSize().width - viewport.getSize().width, p.y));
}
} catch (IOException e) {
e.printStackTrace();
} catch (PrologException e) {
e.printStackTrace();
} catch (TermInstantiationException e) {
e.printStackTrace();
} catch (ExecutionContextException e) {
e.printStackTrace();
}
}
}
