From 5438c7d61deb98d48340dcb514cca452d857f28f Mon Sep 17 00:00:00 2001
From: Kris Maglione <maglione.k@gmail.com>
Date: Fri, 31 Dec 2010 21:34:41 -0500
Subject: [PATCH] Fix error not solved by last commit.

---
 common/content/options.js | 1 +
 1 file changed, 1 insertion(+)

diff --git a/common/content/options.js b/common/content/options.js
index a8cda0a1..7c9b0856 100644
--- a/common/content/options.js
+++ b/common/content/options.js
@@ -1009,6 +1009,7 @@ var Options = Module("options", {
             if (!option) {
                 context.message = "No such option: " + opt.name;
                 context.highlight(0, opt.name.length, "SPELLCHECK");
+                return;
             }
 
             context.advance(context.filter.indexOf("="));