Remove groups and multiselect (fix darrinhenein#12, darrinhenein#10)

DavidShepherdson · Mar 10, 2016 · 805498c · 805498c
1 parent 61884d8
commit 805498c
Show file tree

Hide file tree

Showing 8 changed files with 12 additions and 979 deletions.
diff --git a/data/skin/bindings.css b/data/skin/bindings.css
diff --git a/data/skin/groups.xml b/data/skin/groups.xml
diff --git a/index.js b/index.js
@@ -23,7 +23,7 @@ function include(src) {
     Services.scriptloader.loadSubScript(src, GLOBAL_SCOPE);
 }
 
-let DEFAULT_PREFS = new Array("width", "right", "tabsOnTop", "theme", "hideInFullscreen", "toggleDisplayHotkey");
+let DEFAULT_PREFS = new Array("width", "right", "theme", "hideInFullscreen", "toggleDisplayHotkey");
 
 /* "browser.tabs.drawInTitlebar": false, */