Commit c3741567 authored by Philip Makedonski's avatar Philip Makedonski
Browse files

+added double border for gate types (needs to be refined) 



Change-Id: I63e8e3b624c8073764e190980ebd1c6505220dab
Signed-off-by: default avatarmakedonski <makedonski@informatik.uni-goettingen.de>
parent d7e1d73d

plugins/org.etsi.mts.tdl.graphical.viewpoint/src/org/etsi/mts/tdl/graphical/sirius/part/NodeListWithHeaderEditPart.java

+8 −1
Original line number Diff line number Diff line
@@ -2,7 +2,9 @@ package org.etsi.mts.tdl.graphical.sirius.part; 


import java.util.List;



import org.eclipse.draw2d.CompoundBorder;

import org.eclipse.draw2d.IFigure;

import org.eclipse.draw2d.LineBorder;

import org.eclipse.draw2d.MarginBorder;

import org.eclipse.draw2d.PositionConstants;

import org.eclipse.gef.DragTracker;
@@ -73,7 +75,12 @@ public class NodeListWithHeaderEditPart extends AbstractDiagramListEditPart { 
	

	private void replaceBorder(GraphicalEditPart childEditPart, int index) {

		IFigure f = childEditPart.getFigure();

		if (childEditPart instanceof IDiagramNameEditPart)

		String mappingName = Util.getMappingId((IGraphicalEditPart)childEditPart);

		if (mappingName.equals("gateTypeGateType")) {

			CompoundBorder marginLineBorder = new CompoundBorder(new MarginBorder(3), new LineBorder(1));

			CompoundBorder border = new CompoundBorder(new LineBorder(1), marginLineBorder);

			f.setBorder(border);

		} else if (childEditPart instanceof IDiagramNameEditPart)

			f.setBorder(new MarginBorder(index == 0 ? 5 : 0, 5, index == 0 ? 0 : 5, 5));

		else if (!needsBottomSeparator(childEditPart))

			f.setBorder(null);