More reliable user input detect + undo

This commit is contained in:
Nathan Hedge 2024-01-27 21:22:14 -06:00
parent 841a975a0b
commit b00c82b1e2
No known key found for this signature in database
GPG Key ID: 1ADBA36D6E304C5C
2 changed files with 94 additions and 69 deletions

View File

@ -2,7 +2,7 @@
"name": "ollama-autocoder", "name": "ollama-autocoder",
"displayName": "Ollama Autocoder", "displayName": "Ollama Autocoder",
"description": "A simple to use Ollama autocompletion engine with options exposed and streaming functionality", "description": "A simple to use Ollama autocompletion engine with options exposed and streaming functionality",
"version": "0.0.6", "version": "0.0.7",
"icon": "icon.png", "icon": "icon.png",
"publisher": "10nates", "publisher": "10nates",
"license": "MIT", "license": "MIT",

View File

@ -38,6 +38,18 @@ updateVSConfig();
// No need for restart for any of these settings // No need for restart for any of these settings
vscode.workspace.onDidChangeConfiguration(updateVSConfig); vscode.workspace.onDidChangeConfiguration(updateVSConfig);
// internal function to handle undo functionality
async function handleUndo(document: vscode.TextDocument, startingPosition: vscode.Position, endingPosition: vscode.Position, optons?: vscode.MessageOptions) {
vscode.window.showInformationMessage("Ollama autocompletion was cancelled. Would you like it to undo its changes?", "Keep", "Undo").then(r => {
if (r === "Undo") {
const edit = new vscode.WorkspaceEdit();
const range = new vscode.Range(startingPosition, endingPosition);
edit.delete(document.uri, range);
vscode.workspace.applyEdit(edit);
}
});
}
// internal function for autocomplete, not directly exposed // internal function for autocomplete, not directly exposed
async function autocompleteCommand(textEditor: vscode.TextEditor, cancellationToken?: vscode.CancellationToken) { async function autocompleteCommand(textEditor: vscode.TextEditor, cancellationToken?: vscode.CancellationToken) {
const document = textEditor.document; const document = textEditor.document;
@ -58,10 +70,16 @@ async function autocompleteCommand(textEditor: vscode.TextEditor, cancellationTo
try { try {
progress.report({ message: "Starting model..." }); progress.report({ message: "Starting model..." });
//tracker
// let oldPosition = position;
let currentPosition = position;
// let lastToken = "";
let axiosCancelPost: () => void; let axiosCancelPost: () => void;
const axiosCancelToken = new axios.CancelToken((c) => { const axiosCancelToken = new axios.CancelToken((c) => {
const cancelPost = function () { const cancelPost = function () {
c("Autocompletion request terminated by user cancel"); c("Autocompletion request terminated by user cancel");
handleUndo(document, position, currentPosition);
}; };
axiosCancelPost = cancelPost; axiosCancelPost = cancelPost;
if (cancellationToken) cancellationToken.onCancellationRequested(cancelPost); if (cancellationToken) cancellationToken.onCancellationRequested(cancelPost);
@ -85,27 +103,31 @@ async function autocompleteCommand(textEditor: vscode.TextEditor, cancellationTo
} }
); );
//tracker
let oldPosition = position;
let currentPosition = position;
let lastToken = "";
response.data.on('data', async (d: Uint8Array) => { response.data.on('data', async (d: Uint8Array) => {
progress.report({ message: "Generating..." }); progress.report({ message: "Generating..." });
// Check for user input (cancel) // Check for user input (cancel)
if (lastToken != "") { if (currentPosition != textEditor.selection.start) {
const lastInput = document.getText(new vscode.Range(oldPosition, textEditor.selection.active)); console.log(currentPosition, textEditor.selection.start);
if (lastInput !== lastToken) {
axiosCancelPost(); // cancel axios => cancel finished promise => close notification axiosCancelPost(); // cancel axios => cancel finished promise => close notification
return; return;
} }
} // if (lastToken != "") {
// const lastInput = document.getText(new vscode.Range(oldPosition, textEditor.selection.active));
// if (lastInput !== lastToken) {
// console.log(lastInput, lastToken);
// axiosCancelPost(); // cancel axios => cancel finished promise => close notification
// return;
// }
// }
// Get a completion from the response // Get a completion from the response
const completion: string = JSON.parse(d.toString()).response; const completion: string = JSON.parse(d.toString()).response;
lastToken = completion; // lastToken = completion;
if (completion === "") {
return;
}
//complete edit for token //complete edit for token
const edit = new vscode.WorkspaceEdit(); const edit = new vscode.WorkspaceEdit();
@ -126,7 +148,7 @@ async function autocompleteCommand(textEditor: vscode.TextEditor, cancellationTo
newPosition, newPosition,
newPosition newPosition
); );
oldPosition = currentPosition; // oldPosition = currentPosition;
currentPosition = newPosition; currentPosition = newPosition;
// completion bar // completion bar
@ -161,11 +183,8 @@ async function autocompleteCommand(textEditor: vscode.TextEditor, cancellationTo
); );
} }
// This method is called when extension is activated // Completion item provider callback for activate
function activate(context: vscode.ExtensionContext) { async function provideCompletionItems(document: vscode.TextDocument, position: vscode.Position, cancellationToken: vscode.CancellationToken) {
// Register a completion provider for JavaScript files
const completionProvider = vscode.languages.registerCompletionItemProvider("*", {
async provideCompletionItems(document, position, cancellationToken) {
// Create a completion item // Create a completion item
const item = new vscode.CompletionItem("Autocomplete with Ollama"); const item = new vscode.CompletionItem("Autocomplete with Ollama");
@ -218,7 +237,13 @@ function activate(context: vscode.ExtensionContext) {
}; };
// Return the completion item // Return the completion item
return [item]; return [item];
}, }
// This method is called when extension is activated
function activate(context: vscode.ExtensionContext) {
// Register a completion provider for JavaScript files
const completionProvider = vscode.languages.registerCompletionItemProvider("*", {
provideCompletionItems
}, },
...completionKeys.split("") ...completionKeys.split("")
); );