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

Fix <fast-typing><Tab> problems caused by substring preview.

Browse Source
This commit is contained in:
Kris Maglione
2008-11-29 14:39:09 +00:00
parent 40117ccc5c
commit f44c3ebfbc
3 changed files with 26 additions and 20 deletions
Download Patch File Download Diff File Expand all files Collapse all files

32
content/ui.js
View File

@@ -206,8 +206,15 @@ function CommandLine() //{{{
if (compl)
{
setCommand(command.substring(0, completions.start) + compl + completionPostfix);
commandWidget.selectionStart = commandWidget.selectionEnd = completions.start + compl.length;
previewClear();
let editor = commandWidget.inputField.editor;
editor.selection.focusNode.textContent = command.substring(0, completions.start) + compl + completionPostfix;
let range = editor.selection.getRangeAt(0);
range.setStart(range.startContainer, completions.start + compl.length);
range.collapse(true);
if (longest)
liberator.triggerCallback("change", currentExtendedMode, commandline.getCommand());
@@ -306,18 +313,21 @@ function CommandLine() //{{{
promptWidget.setAttributeNS(NS.uri, "highlight", highlightGroup || commandline.HL_NORMAL);
}
function previewSubstring()
function previewClear()
{
if (!options.get("wildoptions").has("auto") || !completionContext)
return;
// Kludge. Major kludge.
let editor = commandWidget.inputField.editor;
try
{
let editor = commandWidget.inputField.editor;
let node = editor.rootElement;
editor.deleteNode(node.firstChild.nextSibling);
}
catch (e) {}
}
function previewSubstring()
{
if (!options.get("wildoptions").has("auto") || !completionContext)
return;
let editor = commandWidget.inputField.editor;
let wildmode = options.get("wildmode");
let wildType = wildmode.values[Math.min(wildIndex, wildmode.values.length - 1)];
if (wildmode.checkHas(wildType, "longest") && commandWidget.selectionStart == commandWidget.value.length)
@@ -812,13 +822,7 @@ function CommandLine() //{{{
onEvent: function onEvent(event)
{
let editor = commandWidget.inputField.editor;
try
{
let node = editor.rootElement;
editor.deleteNode(node.firstChild.nextSibling);
}
catch (e) {}
previewClear();
let command = this.getCommand();
if (event.type == "blur")