codemp-vscode/src/extension.ts

247 lines
9.9 KiB
TypeScript
Raw Normal View History

// The module 'vscode' contains the VS Code extensibility API
// Import the module and reference it with the alias vscode in your code below
import * as vscode from 'vscode';
2023-11-19 00:58:18 +01:00
import { JsTextChange } from '..';
//import * as types from 'index';
//import * as codemp from '..';
//import * as codemp from '/home/***REMOVED***/projects/codemp/mine/codempvscode/codemp.node';
const codemp = require("/home/***REMOVED***/projects/codemp/mine/codempvscode/codemp.node");
var CACHE : string = "";
2023-12-22 19:39:29 +01:00
var BUFFERS : any = [];
2023-11-19 00:58:18 +01:00
let smallNumberDecorationType = vscode.window.createTextEditorDecorationType({});
//import * as codemp from "/home/***REMOVED***/projects/codemp/mine/vscode/target/debug/libcodemp_vscode.node";
// This method is called when your extension is activated
// Your extension is activated the very first time the command is executed
export function activate(context: vscode.ExtensionContext) {
// Use the console to output diagnostic information (console.log) and errors (console.error)
// This line of code will only be executed once when your extension is activated
console.log('Congratulations, your extension "codempvscode" is now active!');
// The command has been defined in the package.json file
// Now provide the implementation of the command with registerCommand
// The commandId parameter must match the command field in package.json
let disposable = vscode.commands.registerCommand('codempvscode.helloWorld', () => {
// The code you place here will be executed every time your command is executed
// Display a message box to the user
vscode.window.showInformationMessage(process.cwd());
});
let connectCommand = vscode.commands.registerCommand('codempvscode.connect', connect);
let joinCommand = vscode.commands.registerCommand('codempvscode.join', join);
2023-10-01 10:54:08 +02:00
let attachCommand = vscode.commands.registerCommand('codempvscode.attach', attach);
2023-10-01 10:51:28 +02:00
let createBufferCommand = vscode.commands.registerCommand('codempvscode.createBuffer', createBuffer);
let disconnectBufferCommand = vscode.commands.registerCommand('codempvscode.disconnectBuffer', disconnectBuffer);
2023-12-22 19:39:29 +01:00
let syncBufferCommand = vscode.commands.registerCommand('codempvscode.sync', sync);
context.subscriptions.push(connectCommand);
context.subscriptions.push(joinCommand);
2023-10-01 10:54:08 +02:00
context.subscriptions.push(attachCommand);
2023-10-01 10:51:28 +02:00
context.subscriptions.push(createBufferCommand);
2023-12-22 19:39:29 +01:00
context.subscriptions.push(disconnectBufferCommand);
context.subscriptions.push(syncBufferCommand);
context.subscriptions.push(disposable);
2023-12-22 19:39:29 +01:00
}
async function connect() {
2023-11-19 00:58:18 +01:00
let host = await vscode.window.showInputBox({prompt: "server host (default to http://alemi.dev:50052)"})
if (host === undefined) return // user cancelled with ESC
2023-11-19 00:58:18 +01:00
if (host.length == 0) host = "http://alemi.dev:50052"
await codemp.connect(host);
vscode.window.showInformationMessage(`Connected to codemp @[${host}]`);
}
async function join() {
let workspace = await vscode.window.showInputBox({prompt: "workspace to attach (default to default)"});
let buffer : string = (await vscode.window.showInputBox({prompt: "buffer name for the file needed to update other clients cursors"}))!;
let editor = vscode.window.activeTextEditor;
//let editor = activeEditor.document.getText();
//let doc = editor?.document;
if (workspace === undefined) return // user cancelled with ESC
if (workspace.length == 0) workspace = "default"
if (buffer === undefined) return // user cancelled with ESC
2023-12-22 19:39:29 +01:00
if (buffer.length == 0) {workspace = "default"; buffer="fucl"; }
let controller = await codemp.join(workspace)
try{
controller.callback(( event:any) => {
try{
//console.log(event);
let curPos = vscode.window.activeTextEditor?.selection.active;
let PosNumber = curPos?.line as number;
let posizione = new vscode.Position(0, PosNumber);
//console.log("posizione", posizione, "\n");
let range_start = new vscode.Position(event.start.row , event.start.col); // -1?
let range_end = new vscode.Position(event.end.row, event.end.col); // -1? idk if this works it's kinda funny, should test with someone with a working version of codemp
/*console.log("range_start" ,range_start, "\n");
console.log("range_end" ,range_end, "\n");*/
const decorationRange = new vscode.Range(range_start, range_end);
2023-11-19 00:58:18 +01:00
smallNumberDecorationType.dispose();
smallNumberDecorationType = vscode.window.createTextEditorDecorationType({ //should remove the highlighted text after a while
borderWidth: '5px',
borderStyle: 'solid',
overviewRulerColor: 'blue',
overviewRulerLane: vscode.OverviewRulerLane.Right,
light: {
// this color will be used in light color themes
borderColor: 'darkblue' //should create this color based on event.user (uuid)
},
dark: {
// this color will be used in dark color themes
borderColor: 'lightblue' //should create this color based on event.user (uuid)
}
});
//let DECORATION = vscode.window.createTextEditorDecorationType({backgroundColor: 'red', color: 'white'});
/*console.log("Editor" ,editor, "\n");
console.log("Decoration range " , [decorationRange], "\n");*/
editor?.setDecorations(smallNumberDecorationType, [decorationRange]);
}catch(e){
console.log("Error", e, "\n");
}
});
}catch(e){
console.log("Error", e, "\n");
}
2023-11-19 00:58:18 +01:00
vscode.window.onDidChangeTextEditorSelection((event: vscode.TextEditorSelectionChangeEvent) => {
if (event.kind == vscode.TextEditorSelectionChangeKind.Command) return; // TODO commands might move cursor too
let buf = event.textEditor.document.uri.toString()
let selection = event.selections[0] // TODO there may be more than one cursor!!
//let anchor = [selection.anchor.line+1, selection.anchor.character]
//let position = [selection.active.line+1, selection.active.character+1]
let anchor : [number, number] = [selection.anchor.line, selection.anchor.character];
let position : [number, number] = [selection.active.line, selection.active.character+1];
/*console.log("Buffer from selection" + buffer+"\n");
console.log("selection " + selection+"\n");
console.log("Anchor selection" + anchor+"\n");
console.log("position selection" + position+"\n");*/
controller.send(buffer, anchor, position);
});
vscode.window.showInformationMessage(`Connected to workspace @[${workspace}]`);
}
2023-11-19 00:58:18 +01:00
async function createBuffer() {
let workspace="test";//ask which workspace
let buffer : any = (await vscode.window.showInputBox({prompt: "path of the buffer to create"}))!;
2023-10-01 10:51:28 +02:00
console.log("new buffer created ", buffer, "\n");
codemp.create(buffer);
console.log("new createdBuffer ", createBuffer, "\n");
let editor = vscode.window.activeTextEditor;
if (editor === undefined) { return } // TODO say something!!!!!!
let range = new vscode.Range(
editor.document.positionAt(0),
editor.document.positionAt(editor.document.getText().length)
)
buffer = await codemp.attach(workspace);
buffer.delta(range.start,editor.document.getText(),range.end); //test it plz coded this at 10am :(
//Should i disconnect or stay attached to buffer???
2023-10-01 10:51:28 +02:00
}
2023-10-01 10:54:08 +02:00
async function attach() {
2023-12-22 19:39:29 +01:00
let buffer_name : any = (await vscode.window.showInputBox({prompt: "buffer to attach to"}))!;
let buffer = await codemp.attach(buffer_name);
console.log("attached to buffer", buffer_name);
console.log("buffer", buffer);
2023-10-01 10:54:08 +02:00
let editor = vscode.window.activeTextEditor;
2023-12-22 19:39:29 +01:00
let fileUri = buffer_name;
const fileName = 'untitled-1';
const newFileUri = vscode.Uri.file(fileName).with({ scheme: 'untitled', path: fileName });
await vscode.workspace.openTextDocument(newFileUri);
vscode.commands.executeCommand('vscode.open', newFileUri);
if (editor === undefined) {
vscode.window.showInformationMessage(`Open a file first`);
return;
}
editor = vscode.window.activeTextEditor!;
2023-10-01 10:54:08 +02:00
console.log("Buffer = ", buffer, "\n");
2023-12-22 19:39:29 +01:00
vscode.window.showInformationMessage(`Connected to codemp workspace buffer @[${buffer_name}]`);
let file_uri = editor.document.uri;
BUFFERS.push([file_uri, buffer_name]);
2023-10-01 10:54:08 +02:00
2023-11-19 00:58:18 +01:00
vscode.workspace.onDidChangeTextDocument((event:vscode.TextDocumentChangeEvent) => {
2023-10-01 10:56:19 +02:00
console.log(event.reason);
2023-12-22 19:39:29 +01:00
if (event.document.uri != file_uri) return; // ?
2023-10-01 10:56:19 +02:00
for (let change of event.contentChanges) {
2023-11-19 00:58:18 +01:00
if (`${change.rangeOffset}${change.text}${change.rangeOffset+change.rangeLength}` === CACHE) continue; // LMAO
buffer.send({
span: {
start: change.rangeOffset,
end: change.rangeOffset+change.rangeLength
},
content: change.text
});
2023-10-01 10:56:19 +02:00
}
});
2023-11-19 00:58:18 +01:00
//await new Promise((resolve) => setTimeout(resolve, 200)); // tonioware
console.log("test");
2023-10-01 10:56:19 +02:00
2023-11-19 00:58:18 +01:00
buffer.callback((event: any) => {
2023-10-01 10:55:27 +02:00
CACHE = `${event.span.start}${event.content}${event.span.end}`; //what's the difference between e.text and e.content like it's on lib.rs?
if (editor === undefined) { return } // TODO say something!!!!!!
let range = new vscode.Range(
editor.document.positionAt(event.span.start),
editor.document.positionAt(event.span.end)
)
editor.edit(editBuilder => editBuilder.replace(range, event.content))
});
2023-10-01 10:54:08 +02:00
}
2023-11-19 00:58:18 +01:00
async function disconnectBuffer() {
let buffer : string = (await vscode.window.showInputBox({prompt: "buffer name for the file to disconnect from"}))!;
codemp.disconnect(buffer);
vscode.window.showInformationMessage(`Disconnected from codemp workspace buffer @[${buffer}]`);
}
2023-12-22 19:39:29 +01:00
function sync() {
let editor = vscode.window.activeTextEditor;
if (editor === undefined) { return }
for (let tuple of BUFFERS) {
if (tuple[0] == editor?.document.uri) {
let buffer = codemp.getBuffer(tuple[1]);
if (buffer==null) {
vscode.window.showErrorMessage("This buffer does not exist anymore");
return;
}
let range = new vscode.Range(
editor.document.positionAt(0),
editor.document.positionAt(editor.document.getText().length)
)
let content = buffer.content()
CACHE = `${range.start}${content}${range.end}`;
editor.edit(editBuilder => editBuilder.replace(range, content))
return;
}
}
vscode.window.showErrorMessage("This buffer is not managed by codemp");
}
// This method is called when your extension is deactivated
export function deactivate() {
//Maybe i should disconnect from every workspace and buffer ??? // TODO
}
2023-11-19 00:58:18 +01:00