1 files changed, 11 insertions, 2 deletions
diff --git a/src/runtime/javascript/minibar/minibar_translations.js b/src/runtime/javascript/minibar/minibar_translations.js
index 3a9fb1fee..c9164a6a9 100644
--- a/src/runtime/javascript/minibar/minibar_translations.js
+++ b/src/runtime/javascript/minibar/minibar_translations.js
@@ -1,8 +1,17 @@
 /* --- Translations object -------------------------------------------------- */
 
-function Translations(server,options) {
+function Translations(server,opts) {
     this.server=server;
-    this.options=options;
+
+    // Default values for options:
+    this.options={
+	show_abstract: false,
+	show_trees: false,
+	show_grouped_translations: true,
+    }
+
+    // Apply supplied options
+    if(opts) for(var o in opts) this.options[o]=opts[o];
 
     this.main=empty("div");
     this.menus=empty("span");