From 2b6b080f0cfb9a77e61c378725dc3121224c9878 Mon Sep 17 00:00:00 2001
From: Kris Maglione <maglione.k@gmail.com>
Date: Wed, 15 Oct 2008 20:48:34 +0000
Subject: [PATCH] Highlight invalid option names in :set

---
 content/options.js | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/content/options.js b/content/options.js
index dd74a4b4..3cf08798 100644
--- a/content/options.js
+++ b/content/options.js
@@ -744,6 +744,10 @@ function Options() //{{{
                 let opt = parseOpt(filter, modifiers);
                 let option = opt.option;
 
+                commandline.highlight(0, 0, "SPELLCHECK");
+                if (!option) /* FIXME: Kludge. */
+                    commandline.highlight(0, name.length, "SPELLCHECK");
+
                 if (opt.get || opt.reset || !option || prefix)
                     return [0, []];