From 339592c4a23412edde26c415b21b8fd46de7613f Mon Sep 17 00:00:00 2001
From: Doug Kearns <dougkearns@gmail.com>
Date: Fri, 4 Sep 2009 20:21:51 +1000
Subject: [PATCH] Fix 'encoding' names.

Options require literal names.
---
 common/content/browser.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/common/content/browser.js b/common/content/browser.js
index 72eada61..b8452b2e 100644
--- a/common/content/browser.js
+++ b/common/content/browser.js
@@ -60,7 +60,7 @@ function Browser() //{{{
     ////////////////////// OPTIONS /////////////////////////////////////////////////
     /////////////////////////////////////////////////////////////////////////////{{{
 
-    options.add(["enc[oding]"],
+    options.add(["encoding", "enc"],
         "Sets the current buffer's character encoding",
         "string", "UTF-8",
         {