// JenScript - 1.3.2 2017-06-10 // http://jenscript.io - Copyright 2017 Sébastien Janaud. All Rights reserved !function(){JenScript.DeviceOutlinePlugin=function(a){this._init(a)},JenScript.Model.inheritPrototype(JenScript.DeviceOutlinePlugin,JenScript.Plugin),JenScript.Model.addMethods(JenScript.DeviceOutlinePlugin,{_init:function(a){a=a||{},this.color=void 0!==a.color?a.color:"darkgray",this.strokeWidth=void 0!==a.strokeWidth?a.strokeWidth:1,this.strokeOpacity=void 0!==a.strokeOpacity?a.strokeOpacity:1,a.priority=1e3,a.name="DeviceOutlinePlugin",JenScript.Plugin.call(this,a)},paintPlugin:function(a,b){if(b===JenScript.ViewPart.Device){var c=this.getProjection().getView(),d=c.devicePart,e=(new JenScript.SVGRect).origin(this.strokeWidth/2,this.strokeWidth/2).size(d.width-this.strokeWidth,d.height-this.strokeWidth).stroke(this.color).strokeOpacity(this.strokeOpacity).strokeWidth(this.strokeWidth).fillNone();a.insertSVG(e.toSVG())}}})}(); //# sourceMappingURL=jenscript-outline.min.js.map