From 39063c3f5a31d8dfb60ea2fea1bbbf7bcfac33ff Mon Sep 17 00:00:00 2001
From: Timo Mihaljov <noid.phn@gmail.com>
Date: Tue, 19 May 2009 19:11:57 +0300
Subject: [PATCH] Fix 'hi' to mean 'history' and 'hin' to mean 'hintinputs'

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

diff --git a/common/content/hints.js b/common/content/hints.js
index 6e80fa69..846bb8cf 100644
--- a/common/content/hints.js
+++ b/common/content/hints.js
@@ -837,7 +837,7 @@ function Hints() //{{{
         "How words are split for hintmatching",
         "string", '[.,!?:;/"^$%&?()[\\]{}<>#*+|=~ _-]');
 
-    options.add(["hintinputs", "hi"],
+    options.add(["hintinputs", "hin"],
         "How text inputs are hinted",
         "stringlist", "label,value",
         {