minibar: use SVG instead of PNG for trees and alignment diagrams if supported by the browser

1 files changed, 7 insertions, 2 deletions

diff --git a/src/www/minibar/minibar_translations.js b/src/www/minibar/minibar_translations.js
index ea03015f7..e6e5c383e 100644
--- a/src/www/minibar/minibar_translations.js
+++ b/src/www/minibar/minibar_translations.js
@@ -12,8 +12,9 @@ function Translations(server,opts) {
 	abstract_action: null, // action when selecting the abstracy syntax tree
 	show_trees: false, // add buttons to show abstract syntax trees,
 	                   // parse trees & word alignment
-	tree_img_format: "png", // format for trees & alignment images,
-	                        // can be "gif", "png" or "svg"
+	tree_img_format: supportsSVG() ? "svg" : "png",
+	                 // format for trees & alignment images,
+	                 // can be "gif", "png" or "svg"
 	show_grouped_translations: true,
 	to_multiple: true, // allow selection of multiple target languages
 	show_brackets: false, // show bracketed string
@@ -297,3 +298,7 @@ function draw_bracketss(bs) {
 	? bs.map(draw_brackets)  //with gf>3.5, in some cases
 	: draw_brackets(bs) // with gf<=3.5
 }
+
+function supportsSVG() {
+    return document.implementation.hasFeature("http://www.w3.org/TR/SVG11/feature#BasicStructure", "1.1")
+}