From 48b4dcae8f4518c43d3d925edf6bb5fc3f9be324 Mon Sep 17 00:00:00 2001
From: girish <Girish.Joshi@bistasolutions.com>
Date: Thu, 10 Feb 2011 13:51:01 +0000
Subject: [PATCH] connection arrow size according to zoom

---
 gulliver/js/ext/draw2d.js | 9 ++++++---
 1 file changed, 6 insertions(+), 3 deletions(-)

diff --git a/gulliver/js/ext/draw2d.js b/gulliver/js/ext/draw2d.js
index 7e67cbf1a..7cc16034f 100755
--- a/gulliver/js/ext/draw2d.js
+++ b/gulliver/js/ext/draw2d.js
@@ -3273,13 +3273,16 @@ ArrowConnectionDecorator.prototype=new ConnectionDecorator;
 ArrowConnectionDecorator.prototype.type="ArrowConnectionDecorator";
 ArrowConnectionDecorator.prototype.paint=function(g){
 if(this.backgroundColor!=null){
+var zoomfactor = 1;
+if(typeof workflow.sType != undefined && workflow.sType != '')
+zoomfactor = workflow.sType;
 g.setColor(this.backgroundColor);
-g.fillPolygon([1,10,10,1],[0,5,-5,0]);
+g.fillPolygon([1*zoomfactor,10*zoomfactor,10*zoomfactor,1*zoomfactor],[0,5*zoomfactor,-5*zoomfactor,0]);
 }
 g.setColor(this.color);
 g.setStroke(1);
-g.drawPolygon([1,10,10,1],[0,5,-5,0]);
-g.fillPolygon([1,10,10,1],[0,5,-5,0]);
+g.drawPolygon([1*zoomfactor,10*zoomfactor,10*zoomfactor,1*zoomfactor],[0,5*zoomfactor,-5*zoomfactor,0]);
+g.fillPolygon([1*zoomfactor,10*zoomfactor,10*zoomfactor,1*zoomfactor],[0,5*zoomfactor,-5*zoomfactor,0]);
 };
 CompartmentFigure=function(){
 Node.call(this);