Scale shell for edit-part tip by monitor zoom #860

The size of the shell that is created to show the tool-tip is calculated
using the unscaled size of the figure. If the Draw2D-based auto-scaling
is enabled, this then causes the shell to be sized as if at 100% zoom.

Closes #860

Author: ptziegler

org.eclipse.gef/src/org/eclipse/gef/internal/ui/palette/editparts/EditPartTipHelper.java

@@ -76,6 +76,7 @@ public void displayToolTipAt(IFigure tip, int tipPosX, int tipPosY) {
 			// Display the tip
 			EditPartTipHelper.setHelper(this);
 			getLightweightSystem().setContents(tip);
+			tip.translateToAbsolute(tipSize);
 			setShellBounds(tipPosX, tipPosY, tipSize.width, tipSize.height);
 			show();
 			getShell().setCapture(true);