mirror of
https://github.com/gryf/pentadactyl-pm.git
synced 2025-12-23 16:02:26 +01:00
new 'followhints' option, thanks Ruud
This commit is contained in:
@@ -686,7 +686,7 @@ function History() //{{{
|
||||
function (args, special) { history.list(args.string, special); },
|
||||
{
|
||||
bang: true,
|
||||
completer: function (filter) completion.history(filter)
|
||||
// completer: function (filter) completion.history(filter)
|
||||
});
|
||||
|
||||
/////////////////////////////////////////////////////////////////////////////}}}
|
||||
|
||||
Reference in New Issue
Block a user