gryf/pentadactyl-pm
1
0
Fork 0
mirror of https://github.com/gryf/pentadactyl-pm.git synced 2025-12-23 15:02:26 +01:00
Code Issues Projects Releases Wiki Activity

Get rid of QUICK/EXTENDED hint modes, since they dont make sense anymore.

Browse Source
This commit is contained in:
Kris Maglione
2008-10-29 01:27:11 +00:00
parent ab30527ccf
commit a3b5c6c78e
3 changed files with 24 additions and 33 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
content/hints.js
View File

@@ -625,15 +625,15 @@ function Hints() //{{{
mappings.add(myModes, ["f"],
"Start QuickHint mode",
function () { hints.show(modes.QUICK_HINT, "o") });
function () { hints.show("o") });
mappings.add(myModes, ["F"],
"Start QuickHint mode, but open link in a new tab",
function () { hints.show(modes.QUICK_HINT, "t") });
function () { hints.show("t") });
mappings.add(myModes, [";"],
"Start an extended hint mode",
function (arg) { hints.show(modes.EXTENDED_HINT, arg) },
function (arg) { hints.show(arg) },
{ flags: Mappings.flags.ARGUMENT });
/////////////////////////////////////////////////////////////////////////////}}}
@@ -642,7 +642,7 @@ function Hints() //{{{
return {
show: function (mode, minor, filter, win)
show: function (minor, filter, win)
{
let prompt = hintDescriptions[minor];
if (!prompt)
@@ -651,7 +651,7 @@ function Hints() //{{{
return;
}
commandline.input(prompt, null, { onChange: onInput });
modes.extended = modes.HINTS | mode;
modes.extended = modes.HINTS;
submode = minor || "o"; // open is the default mode
hintString = filter || "";