소스 검색

#153 added margin to allow better connection of transitions

andreas muelder 7 년 전
부모
커밋
f202ed69ea
1개의 변경된 파일2개의 추가작업 그리고 2개의 파일을 삭제
  1. 2 2
      plugins/org.yakindu.sct.ui.editor/src/org/yakindu/sct/ui/editor/editor/figures/StateFigure.java

+ 2 - 2
plugins/org.yakindu.sct.ui.editor/src/org/yakindu/sct/ui/editor/editor/figures/StateFigure.java

@@ -47,8 +47,8 @@ public class StateFigure extends RoundedRectangle {
 		GridLayout layout = new GridLayout(1, false);
 		layout.verticalSpacing = 0;
 		layout.horizontalSpacing = 0;
-		layout.marginHeight = 3;
-		layout.marginWidth = 3;
+		layout.marginHeight = 5;
+		layout.marginWidth = 5;
 		this.setLayoutManager(layout);
 		this.setCornerDimensions(new Dimension(mapMode.DPtoLP(15), mapMode
 				.DPtoLP(15)));