Fix visual inconsistency in local mode

This commit is contained in:
2023-10-16 23:50:21 +02:00
parent e9debf3d4f
commit 05a2132336

View File

@ -1156,6 +1156,7 @@ export class Editor {
} }
this.editor_mode = "local"; this.editor_mode = "local";
this.local_index = 0; this.local_index = 0;
document.getElementById('editor')!.style.height = 'calc(100% - 100px)';
this.changeToLocalBuffer(this.local_index); this.changeToLocalBuffer(this.local_index);
changeColor(this.local_button); changeColor(this.local_button);
break; break;
@ -1164,6 +1165,7 @@ export class Editor {
this.local_script_tabs.classList.add("hidden"); this.local_script_tabs.classList.add("hidden");
} }
this.editor_mode = "global"; this.editor_mode = "global";
document.getElementById('editor')!.style.height = '100%';
changeColor(this.global_button); changeColor(this.global_button);
break; break;
case "init": case "init":