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

2026-05-12 20:52:50 -06:00 · 2015-05-18 14:54:29 +00:00
parent 815d1f441f
commit a73af40230
2 changed files with 8 additions and 3 deletions
--- 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,