Author: dazarov
Date: 2008-09-12 08:09:56 -0400 (Fri, 12 Sep 2008)
New Revision: 10223
Modified:
trunk/seam/plugins/org.jboss.tools.seam.ui.pages/src/org/jboss/tools/seam/ui/pages/editor/edit/PageEditPart.java
Log:
Took into account scroll position for show/hide icon on page view
Modified:
trunk/seam/plugins/org.jboss.tools.seam.ui.pages/src/org/jboss/tools/seam/ui/pages/editor/edit/PageEditPart.java
===================================================================
---
trunk/seam/plugins/org.jboss.tools.seam.ui.pages/src/org/jboss/tools/seam/ui/pages/editor/edit/PageEditPart.java 2008-09-12
11:57:02 UTC (rev 10222)
+++
trunk/seam/plugins/org.jboss.tools.seam.ui.pages/src/org/jboss/tools/seam/ui/pages/editor/edit/PageEditPart.java 2008-09-12
12:09:56 UTC (rev 10223)
@@ -15,6 +15,7 @@
import org.eclipse.draw2d.ConnectionAnchor;
import org.eclipse.draw2d.FigureUtilities;
+import org.eclipse.draw2d.FreeformViewport;
import org.eclipse.draw2d.IFigure;
import org.eclipse.draw2d.geometry.Dimension;
import org.eclipse.draw2d.geometry.Point;
@@ -70,7 +71,10 @@
}
public void doMouseDown(Point mp) {
- Point mouseLocation =
mp.scale(1/((GEFRootEditPart)editor.getScrollingGraphicalViewer().getRootEditPart()).getZoomManager().getZoom()).translate(-getPageFigure().getLocation().x,
-getPageFigure().getLocation().y);
+ FreeformViewport diagram =
(FreeformViewport)((GEFRootEditPart)editor.getScrollingGraphicalViewer().getRootEditPart()).getFigure();
+ Point mouseLocation =
mp.scale(1/((GEFRootEditPart)editor.getScrollingGraphicalViewer().getRootEditPart()).getZoomManager().getZoom())
+ .translate(-getPageFigure().getLocation().x, -getPageFigure().getLocation().y)
+ .translate(diagram.getClientArea().getLocation());
if(mouseLocation.x < 15 && mouseLocation.y >
getPageFigure().getSize().height-15){
getPageModel().setParamsVisible(!getPageModel().isParamsVisible());
refresh();
@@ -225,7 +229,7 @@
}
private int getVisualHeight() {
- return 11;
+ return 21;
}
private int getIconWidth() {
Show replies by date