BuboBubo/topos
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

wut?

Browse Source
This commit is contained in:
Raphaël Forment
2023-08-03 00:56:54 +02:00
parent 8bdf9a5c9e
commit 068c324e90
2 changed files with 3 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/main.ts
View File

@ -405,7 +405,6 @@ export class Editor {
for (let j = 0; j < tabs.length; j++) {
if (j != i) tabs[j].classList.remove("bg-orange-300");
}
this.currentFile.candidate = this.view.state.doc.toString();
let tab_id = tab.id.split("-")[1];
this.local_index = parseInt(tab_id);
this.updateEditorView();
@ -438,7 +437,6 @@ export class Editor {
if (this.local_script_tabs.classList.contains("hidden")) {
this.local_script_tabs.classList.remove("hidden");
}
this.currentFile.candidate = this.view.state.doc.toString();
this.editor_mode = 'local';
this.local_index = 0;
this.changeToLocalBuffer(this.local_index);
@ -448,14 +446,12 @@ export class Editor {
if (!this.local_script_tabs.classList.contains("hidden")) {
this.local_script_tabs.classList.add("hidden");
}
this.currentFile.candidate = this.view.state.doc.toString();
this.editor_mode = "global"; changeColor(this.global_button);
break;
case "init":
if (!this.local_script_tabs.classList.contains("hidden")) {
this.local_script_tabs.classList.add("hidden");
}
this.currentFile.candidate = this.view.state.doc.toString();
this.editor_mode = "init"; changeColor(this.init_button);
break;
}