Scale PNG images

physikerwelt · physikerwelt · commit b12adb9567e1 · 2016-02-13T22:47:02.000+01:00
* Make PNG images slightly bigger.
* Scaling factor 2 was chosen as default
diff --git a/lib/mj-single.js b/lib/mj-single.js
@@ -507,18 +507,23 @@ function GetSVG(result) {
 function GetPNG(result) {
     var Readable = require('stream').Readable;
     var s = new Readable();
-    var svgfile = result.svgfile; delete result.svgfile;
+    var pngScale = 2;
+    var svgFile = result.svgfile; delete result.svgfile;
     var width = result.width; delete result.width;
     var height = result.height; delete result.height;
     if (data.png) {
             var svgRenderer = new rsvg();
             s._read = function () {
-                s.push(svgfile);
+                s.push(svgFile);
                 s.push(null);
             };
             var synch = MathJax.Callback(function () {}); // for synchronization with MathJax
             svgRenderer.on('finish', function () {
-                var buffer = svgRenderer.render({format: 'png', width: width, height: height}).data;
+                var buffer = svgRenderer.render({
+                    format: 'png',
+                    width: width * pngScale,
+                    height: height * pngScale
+                }).data;
                 result.png = "data:image/png;base64," + (buffer || "").toString('base64');
                 synch();
             });
