hexedtech/codemp-vscode
3
0
Fork 0
mirror of https://github.com/hexedtech/codemp-vscode.git synced 2024-10-22 18:09:20 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

feat: changed mapping to save ranges too

Browse source
This commit is contained in:
frelodev 2024-09-24 23:26:35 +02:00
parent acacab007f
commit 2d9dca2b0a
1 changed files with 16 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
src/mapping.ts
View file

@ -10,7 +10,13 @@ class BufferMapper {
this.editorToBufferMapping.set(uri, buffer); this.editorToBufferMapping.set(uri, buffer);
} }
public by_buffer(name: string): vscode.TextEditor | undefined {
public uri_by_buffer(name: string): vscode.Uri | undefined {
let uri = this.bufferToEditorMapping.get(name);
return uri;
}
public visible_by_buffer(name: string): vscode.TextEditor | undefined {
let uri = this.bufferToEditorMapping.get(name); let uri = this.bufferToEditorMapping.get(name);
return vscode.window.visibleTextEditors.find((e) => e.document.uri == uri); return vscode.window.visibleTextEditors.find((e) => e.document.uri == uri);
} }
@ -35,6 +41,8 @@ export class UserDecoration {
buffer: string; buffer: string;
startRow : number; startRow : number;
startCol : number; startCol : number;
endRow : number;
endCol : number;
public constructor(event: codemp.Cursor) { public constructor(event: codemp.Cursor) {
@ -44,12 +52,18 @@ export class UserDecoration {
this.buffer = event.buffer; this.buffer = event.buffer;
this.startRow = event.startRow; this.startRow = event.startRow;
this.startCol = event.startCol; this.startCol = event.startCol;
this.endRow = event.endRow;
this.endCol = event.endCol;
} }
// TODO can we avoid disposing and recreating the decoration type every time? // TODO can we avoid disposing and recreating the decoration type every time?
public update(event: codemp.Cursor, editor?: vscode.TextEditor) { public update(event: codemp.Cursor, editor?: vscode.TextEditor) {
this.buffer=event.buffer; this.buffer=event.buffer;
this.startRow = event.startRow;
this.startCol = event.startCol;
this.endRow = event.endRow;
this.endCol = event.endCol;
if (this.decoration == null) { if (this.decoration == null) {
this.decoration = vscode.window.createTextEditorDecorationType({ this.decoration = vscode.window.createTextEditorDecorationType({
borderWidth: '1px', borderWidth: '1px',
@ -59,6 +73,7 @@ export class UserDecoration {
}); });
} }
const range_start: vscode.Position = new vscode.Position(event.startRow, event.startCol); // -1? const range_start: vscode.Position = new vscode.Position(event.startRow, event.startCol); // -1?
const range_end: vscode.Position = new vscode.Position(event.endRow, event.endCol); // -1? idk if this works it's kinda funny, should test with someone with a working version of codemp const range_end: vscode.Position = new vscode.Position(event.endRow, event.endCol); // -1? idk if this works it's kinda funny, should test with someone with a working version of codemp
const decorationRange = new vscode.Range(range_start, range_end); const decorationRange = new vscode.Range(range_start, range_end);