add option for not showing the border

options.js

@@ -36,6 +36,12 @@ function defaults()
         default: true,
         label: "Show original text"
     });
+    settings.push({
+        id: "space_saver",
+        kind: "checkbox",
+        default: false,
+        label: "Space saver (removes brackets from readings, 'Also:' from alternative spellings)"
+    });
     settings.push({
         id: "popup_follows_mouse",
         kind: "checkbox",
@@ -233,6 +239,12 @@ function defaults()
         default: false,
         label: "Super border"
     });
+    settings.push({
+        id: "disableborder",
+        kind: "checkbox",
+        default: false,
+        label: "Disable border"
+    });
     settings.push({
         id: "bgcolor",
         kind: "color",