Personal_mirrors/bitburner-src
1
0
Fork 0
mirror of https://github.com/bitburner-official/bitburner-src.git synced 2024-11-11 02:03:58 +01:00
Code Issues Packages Projects Releases Wiki Activity

const openScripts

Browse Source
This commit is contained in:
Snarling 2022-08-16 15:17:44 -04:00
parent 8cbb8aac2e
commit 57fa1b743a
1 changed files with 16 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
src/ScriptEditor/ui/ScriptEditorRoot.tsx
View File

@ -102,7 +102,7 @@ class OpenScript {
}
}
let openScripts: OpenScript[] = [];
const openScripts: OpenScript[] = [];
let currentScript: OpenScript | null = null;
// Called every time script editor is opened
@ -136,9 +136,9 @@ export function Root(props: IProps): React.ReactElement {
const [ramInfoOpen, setRamInfoOpen] = useState(false);
// Prevent Crash if script is open on deleted server
openScripts = openScripts.filter((script) => {
return GetServer(script.hostname) !== null;
});
for (let i=openScripts.length-1;i>=0;i--){
GetServer(openScripts[i].hostname) === null && openScripts.splice(i,1);
}
if (currentScript && GetServer(currentScript.hostname) === null) {
currentScript = openScripts[0];
if (currentScript === undefined) currentScript = null;
@ -665,29 +665,29 @@ export function Root(props: IProps): React.ReactElement {
});
}
if (openScripts.length > 1) {
openScripts.splice(index, 1);
openScripts.splice(index, 1);
if (openScripts.length === 0) {
currentScript = null;
props.router.toTerminal();
return;
}
// Change current script if we closed it
if(wasCurrentScript){
//Keep the same index unless we were on the last script
const indexOffset = openScripts.length === index ? -1 : 0;
// Change current script if we closed it
currentScript = wasCurrentScript ? openScripts[index + indexOffset] : (currentScript as OpenScript);
currentScript = openScripts[index + indexOffset];
if (editorRef.current !== null) {
if (currentScript.model.isDisposed() || !currentScript.model) {
regenerateModel(currentScript);
}
editorRef.current.setModel(currentScript.model);
editorRef.current.setPosition(currentScript.lastPosition);
editorRef.current.revealLineInCenter(currentScript.lastPosition.lineNumber);
editorRef.current.focus();
}
rerender();
} else {
// No more scripts are open
openScripts = [];
currentScript = null;
props.router.toTerminal();
}
rerender();
}
function onTabUpdate(index: number): void {