From b8a2d4d3f2175aedcdfbec1f1389c3cfc5e0a262 Mon Sep 17 00:00:00 2001
From: Kris Maglione <maglione.k@gmail.com>
Date: Wed, 13 Oct 2010 16:30:34 -0400
Subject: [PATCH] Fix option serialization.

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

diff --git a/common/content/options.js b/common/content/options.js
index 800e76e2..f2b2cfbb 100644
--- a/common/content/options.js
+++ b/common/content/options.js
@@ -1359,7 +1359,7 @@ const Options = Module("options", {
                         {
                             command: this.name,
                             literalArg: [opt.type == "boolean" ? (opt.value ? "" : "no") + opt.name
-                                                               : opt.name + "=" + opt.value]
+                                                               : opt.name + "=" + opt.stringify(opt.value)]
                         }
                         for (opt in options)
                         if (!opt.getter && opt.isDefault && (opt.scope & Option.SCOPE_GLOBAL))