diff chrome/content/incsearch.js @ 6:ac5648afee47 default tip

change hot key from ctrl to alt.
author Yoshiki Yazawa <yaz@honeyplanet.jp>
date Sat, 23 May 2009 11:56:41 +0900
parents c47ec96326ad
children
line wrap: on
line diff
--- a/chrome/content/incsearch.js	Sat May 23 11:56:02 2009 +0900
+++ b/chrome/content/incsearch.js	Sat May 23 11:56:41 2009 +0900
@@ -382,7 +382,7 @@
   },
 
   hotkey: function(event) {
-    if (event.ctrlKey) {
+    if (event.altKey) {
       switch(event.keyCode) {
         case 13:  // Enter
         case 77:  // m (Enter Max OS X)