Author: dazarov
Date: 2007-07-04 11:16:10 -0400 (Wed, 04 Jul 2007)
New Revision: 2289
Modified:
trunk/hibernatetools/plugins/org.jboss.tools.hibernate.ui.veditor/src/org/jboss/tools/hibernate/veditor/editors/parts/DiagramEditPart.java
Log:
http://jira.jboss.com/jira/browse/EXIN-368
Modified:
trunk/hibernatetools/plugins/org.jboss.tools.hibernate.ui.veditor/src/org/jboss/tools/hibernate/veditor/editors/parts/DiagramEditPart.java
===================================================================
---
trunk/hibernatetools/plugins/org.jboss.tools.hibernate.ui.veditor/src/org/jboss/tools/hibernate/veditor/editors/parts/DiagramEditPart.java 2007-07-04
15:11:46 UTC (rev 2288)
+++
trunk/hibernatetools/plugins/org.jboss.tools.hibernate.ui.veditor/src/org/jboss/tools/hibernate/veditor/editors/parts/DiagramEditPart.java 2007-07-04
15:16:10 UTC (rev 2289)
@@ -363,12 +363,15 @@
int[] shape = new int[4];
shape[0] = element.getLocation().x;
shape[1] = element.getLocation().y;
- //OrmShapeEditPart part =
(OrmShapeEditPart)getViewer().getEditPartRegistry().get(element);
- //if(part != null)
- // shape[2] = part.getFigure().getSize().width;
- //else
+ OrmShapeEditPart part =
(OrmShapeEditPart)getViewer().getEditPartRegistry().get(element);
+ if(part != null){
+ IFigure fig = part.getFigure();
+ shape[2] = fig.getPreferredSize().width;
+ shape[3] = fig.getPreferredSize().height;
+ }else{
shape[2] = 600;
- shape[3] = 100;
+ shape[3] = 100;
+ }
return shape;
}