From 32ad2e75f92084f16b8fdb7831b3577efaf63f1e Mon Sep 17 00:00:00 2001
From: Stephen Blott
Date: Sun, 31 May 2015 13:55:45 +0100
Subject: Fully remove unused option.

(This was supposed to have been removed previously.  Oops!).
---
 pages/options.coffee | 1 -
 pages/options.css    | 2 +-
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/pages/options.coffee b/pages/options.coffee
index c8c21850..5521cc55 100644
--- a/pages/options.coffee
+++ b/pages/options.coffee
@@ -258,7 +258,6 @@ initOptionsPage = ->
     searchEngines: TextOption
     searchUrl: NonEmptyTextOption
     userDefinedLinkHintCss: TextOption
-    omniSearchWeight: NumberOption
 
   # Populate options. The constructor adds each new object to "Option.all".
   for name, type of options
diff --git a/pages/options.css b/pages/options.css
index ffb348c6..745b655c 100644
--- a/pages/options.css
+++ b/pages/options.css
@@ -107,7 +107,7 @@ input#linkHintNumbers {
 input#linkHintCharacters {
   width: 100%;
 }
-input#scrollStepSize, input#omniSearchWeight {
+input#scrollStepSize {
   width: 50px;
   margin-right: 3px;
   padding-left: 3px;
-- 
cgit v1.2.3