Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorHenrik Rentz-Reichert2011-10-27 04:20:30 -0400
committerHenrik Rentz-Reichert2011-10-27 04:20:30 -0400
commitc2878a7b9c533c754445deb35102f781986abf11 (patch)
tree4a40217d581d67a00069ba9f72d78e059caa7342 /plugins/org.eclipse.etrice.ui.structure
parent60b42cce37ccdc6d2df5d7fa16ee7fcc1462e681 (diff)
downloadorg.eclipse.etrice-c2878a7b9c533c754445deb35102f781986abf11.tar.gz
org.eclipse.etrice-c2878a7b9c533c754445deb35102f781986abf11.tar.xz
org.eclipse.etrice-c2878a7b9c533c754445deb35102f781986abf11.zip
[ui.structure] larger labels for ref ports
Diffstat (limited to 'plugins/org.eclipse.etrice.ui.structure')
-rw-r--r--plugins/org.eclipse.etrice.ui.structure/src/org/eclipse/etrice/ui/structure/support/ActorContainerRefSupport.java2
-rw-r--r--plugins/org.eclipse.etrice.ui.structure/src/org/eclipse/etrice/ui/structure/support/InterfaceItemSupport.java14
2 files changed, 10 insertions, 6 deletions
diff --git a/plugins/org.eclipse.etrice.ui.structure/src/org/eclipse/etrice/ui/structure/support/ActorContainerRefSupport.java b/plugins/org.eclipse.etrice.ui.structure/src/org/eclipse/etrice/ui/structure/support/ActorContainerRefSupport.java
index 5a2575a90..3e38cbb86 100644
--- a/plugins/org.eclipse.etrice.ui.structure/src/org/eclipse/etrice/ui/structure/support/ActorContainerRefSupport.java
+++ b/plugins/org.eclipse.etrice.ui.structure/src/org/eclipse/etrice/ui/structure/support/ActorContainerRefSupport.java
@@ -105,7 +105,7 @@ public class ActorContainerRefSupport {
public static final int DEFAULT_SIZE_Y = 80;
public static final int MIN_SIZE_X = 100;
public static final int MIN_SIZE_Y = 60;
- public static final int MARGIN = 25;
+ public static final int MARGIN = 30;
public static final IColorConstant LINE_COLOR = new ColorConstant(0, 0, 0);
public static final IColorConstant INHERITED_COLOR = new ColorConstant(100, 100, 100);
diff --git a/plugins/org.eclipse.etrice.ui.structure/src/org/eclipse/etrice/ui/structure/support/InterfaceItemSupport.java b/plugins/org.eclipse.etrice.ui.structure/src/org/eclipse/etrice/ui/structure/support/InterfaceItemSupport.java
index d8b3ea14b..33c31e17c 100644
--- a/plugins/org.eclipse.etrice.ui.structure/src/org/eclipse/etrice/ui/structure/support/InterfaceItemSupport.java
+++ b/plugins/org.eclipse.etrice.ui.structure/src/org/eclipse/etrice/ui/structure/support/InterfaceItemSupport.java
@@ -74,7 +74,7 @@ import org.eclipse.graphiti.util.IColorConstant;
public class InterfaceItemSupport {
public static final int ITEM_SIZE = StructureClassSupport.MARGIN;
- public static final int ITEM_SIZE_SMALL = (int) (ActorContainerRefSupport.MARGIN*0.8);
+ public static final int ITEM_SIZE_SMALL = (int) (ActorContainerRefSupport.MARGIN*0.625);
public static final int MARGIN = StructureClassSupport.MARGIN;
public static final int MARGIN_SMALL = ActorContainerRefSupport.MARGIN;
@@ -229,10 +229,14 @@ public class InterfaceItemSupport {
Shape labelShape = peCreateService.createShape(containerShape, false);
Text label = gaService.createDefaultText(getDiagram(), labelShape, port.getName());
label.setForeground(dark);
- label.setBackground(dark);
label.setHorizontalAlignment(Orientation.ALIGNMENT_CENTER);
label.setVerticalAlignment(Orientation.ALIGNMENT_CENTER);
- gaService.setLocationAndSize(label, 0, 3*margin/2, 2*margin, margin/2);
+// label.setBackground(manageColor(INHERITED_COLOR));
+// label.setFilled(true);
+// label.setLineVisible(true);
+// label.setLineWidth(3);
+// label.setLineStyle(LineStyle.DOT);
+ gaService.setLocationAndSize(label, 0, margin+size/2, 2*margin, margin/2);
adjustLabel(label, x, y, width, margin, size);
}
@@ -639,14 +643,14 @@ public class InterfaceItemSupport {
Orientation align = Orientation.ALIGNMENT_CENTER;
label.setHorizontalAlignment(align);
- int pos = 3*margin/2;
+ int pos = margin+size/2;
if (x<=margin)
align = Orientation.ALIGNMENT_LEFT;
else if ((width-margin)<=x)
align = Orientation.ALIGNMENT_RIGHT;
if (y<=margin)
- pos = 0;
+ pos = (margin-size)/2;
if (align!=label.getHorizontalAlignment()) {
label.setHorizontalAlignment(align);

Back to the top