From 011e980e9d1afea7e6df3a977f34efb6bded78db Mon Sep 17 00:00:00 2001 From: hallgren Date: Mon, 18 May 2015 14:54:29 +0000 Subject: [PATCH] minibar: use SVG instead of PNG for trees and alignment diagrams if supported by the browser --- src/www/minibar/minibar_online.js | 2 +- src/www/minibar/minibar_translations.js | 9 +++++++-- 2 files changed, 8 insertions(+), 3 deletions(-) diff --git a/src/www/minibar/minibar_online.js b/src/www/minibar/minibar_online.js index 828c675fa..0f35f4514 100644 --- a/src/www/minibar/minibar_online.js +++ b/src/www/minibar/minibar_online.js @@ -10,7 +10,7 @@ var online_options={ var minibar_options= { show_abstract: true, show_trees: true, - tree_img_format: "png", // or "svg" +// tree_img_format: "png", // or "svg" show_grouped_translations: false, show_brackets: true, word_replacements: true, 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") +}