From f9eafefa0966a3527364fb7e596c01157f119aee Mon Sep 17 00:00:00 2001
From: Tim van der Meij <timvandermeij@gmail.com>
Date: Fri, 23 Jun 2017 00:24:47 +0200
Subject: [PATCH] SVG: implement stroke opacity

---
 src/display/svg.js | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/display/svg.js b/src/display/svg.js
index 4a357f00b..edd9ab54c 100644
--- a/src/display/svg.js
+++ b/src/display/svg.js
@@ -803,6 +803,9 @@ SVGGraphics = (function SVGGraphicsClosure() {
     setMiterLimit: function SVGGraphics_setMiterLimit(limit) {
       this.current.miterLimit = limit;
     },
+    setStrokeAlpha: function SVGGraphics_setStrokeAlpha(strokeAlpha) {
+      this.current.strokeAlpha = strokeAlpha;
+    },
     setStrokeRGBColor: function SVGGraphics_setStrokeRGBColor(r, g, b) {
       var color = Util.makeCssRgb(r, g, b);
       this.current.strokeColor = color;
@@ -973,6 +976,9 @@ SVGGraphics = (function SVGGraphicsClosure() {
           case 'Font':
             this.setFont(value);
             break;
+          case 'CA':
+            this.setStrokeAlpha(value);
+            break;
           case 'ca':
             this.setFillAlpha(value);
             break;
@@ -992,6 +998,8 @@ SVGGraphics = (function SVGGraphicsClosure() {
     stroke: function SVGGraphics_stroke() {
       var current = this.current;
       current.element.setAttributeNS(null, 'stroke', current.strokeColor);
+      current.element.setAttributeNS(null, 'stroke-opacity',
+                                     current.strokeAlpha);
       current.element.setAttributeNS(null, 'fill', 'none');
     },