Compare commits
No commits in common. "ab73f22dc5bcbe34399e12d72638f892aba83111" and "954827a0d6fd620b4b069c597d9d2ff74f914639" have entirely different histories.
ab73f22dc5
...
954827a0d6
|
|
@ -210,13 +210,10 @@ export class OpenFile implements WorkspaceFile {
|
|||
private changeSet: ChangeSet;
|
||||
get changes(): ChangeSet {
|
||||
if (!this.changeSet) {
|
||||
this.clearChanges();
|
||||
this.changeSet = ChangeSet.empty(this.rootState.val.doc.length);
|
||||
}
|
||||
return this.changeSet;
|
||||
}
|
||||
clearChanges(): void {
|
||||
this.changeSet = ChangeSet.empty(this.rootState.val.doc.length);
|
||||
}
|
||||
|
||||
// Return an EditorView to be used by the LSP Workspace for position mapping.
|
||||
// If `main` is provided and belongs to this open file, return it. Otherwise
|
||||
|
|
|
|||
|
|
@ -8,12 +8,6 @@ import * as u from "./utils";
|
|||
|
||||
const folderTreeState = van.state<FolderTree | null>(null);
|
||||
|
||||
van.derive(() => {
|
||||
if (folderTreeState.val) {
|
||||
document.title = folderTreeState.val.path + " - Miller code editor";
|
||||
}
|
||||
});
|
||||
|
||||
async function openFolder() {
|
||||
const folderTree = await window.electronAPI.openFolder().catch(alert);
|
||||
if (!folderTree) return;
|
||||
|
|
|
|||
|
|
@ -109,7 +109,7 @@ class OpenFileWorkspace extends Workspace {
|
|||
result.push({ file, prevDoc, changes });
|
||||
file.doc = file.rootState.val.doc;
|
||||
file.version = this.nextFileVersion(file.uri);
|
||||
file.clearChanges();
|
||||
file.changes = ChangeSet.empty(file.doc.length);
|
||||
}
|
||||
for (const e of file.editors) {
|
||||
const plugin = LSPPlugin.get(e.view);
|
||||
|
|
|
|||
Loading…
Reference in New Issue