|
@@ -88,7 +88,7 @@ public class EdgeView extends JPanel {
|
|
{
|
|
{
|
|
((Graphics2D)g).setStroke(new BasicStroke(1));
|
|
((Graphics2D)g).setStroke(new BasicStroke(1));
|
|
//System.out.println( "Clipping: x:" + g.getClip().getBounds().getX() + " y:" + g.getClip().getBounds().getY() + " w:" + g.getClip().getBounds().getWidth() + " h:" + g.getClip().getBounds().getHeight() );
|
|
//System.out.println( "Clipping: x:" + g.getClip().getBounds().getX() + " y:" + g.getClip().getBounds().getY() + " w:" + g.getClip().getBounds().getWidth() + " h:" + g.getClip().getBounds().getHeight() );
|
|
- g.setColor( Color.GREEN );
|
|
|
|
|
|
+ g.setColor( Color.LIGHT_GRAY );
|
|
if( model.isConflicted( layout ) )
|
|
if( model.isConflicted( layout ) )
|
|
g.setColor( Color.RED );
|
|
g.setColor( Color.RED );
|
|
ArrayList<Point> bps = model.getLinePoints( layout );
|
|
ArrayList<Point> bps = model.getLinePoints( layout );
|