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

2015-05-18 14:54:29 +00:00
parent 09a57b34a8
commit 011e980e9d
2 changed files with 8 additions and 3 deletions
@@ -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,