From 4a475bb234d8c9ede15df4f32b0a19d12a551d83 Mon Sep 17 00:00:00 2001 From: anekos Date: Wed, 18 Feb 2009 21:20:43 +0900 Subject: [PATCH] Fix for f09dc06283bef36e99e315b57acd16879c036410 --- common/content/hints.js | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/common/content/hints.js b/common/content/hints.js index d349ce58..cf877078 100644 --- a/common/content/hints.js +++ b/common/content/hints.js @@ -575,7 +575,7 @@ function Hints() //{{{ function (count) { extendedhintCount = count; - commandline.input(";", function (arg) { setTimeout(function () hints.show(arg), 0); }, + commandline.input(";", null, { promptHighlight: "Normal", completer: function (context) @@ -583,7 +583,8 @@ function Hints() //{{{ context.compare = function () 0; context.completions = [[k, v.prompt] for ([k, v] in Iterator(hintModes))]; }, - onChange: function () { modes.pop() } + onChange: function () { modes.pop() }, + onCancel: function (arg) { arg && setTimeout(function () hints.show(arg), 0); }, }); }, { flags: Mappings.flags.COUNT });