From 75854ad74d7e4535881acd95fbfb844ee95779fb Mon Sep 17 00:00:00 2001 From: Doug Kearns Date: Fri, 1 Oct 2010 20:33:10 +1000 Subject: [PATCH] Fix 'banghist' type definition. --- common/content/io.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/common/content/io.js b/common/content/io.js index 96687452..9536bcfb 100644 --- a/common/content/io.js +++ b/common/content/io.js @@ -772,7 +772,7 @@ lookup: options.add(["banghist", "bh"], "Replace occurences of ! with the previous command when executing external commands", - "banghist", true); + "boolean", true); options.add(["fileencoding", "fenc"], "Sets the character encoding of read and written files",