MirrorMirror
/
riju
mirror of https://github.com/radian-software/riju.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

More

This commit is contained in:
Radon Rosborough 2021-08-15 16:39:52 -07:00
parent 3541169779
commit fd1237e180
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
frontend/src/app.js
View File

@ -311,7 +311,7 @@ async function main() {
case "lsp": case "lsp":
lspButton.disabled = false; lspButton.disabled = false;
lspButton.classList.remove("is-loading"); lspButton.classList.remove("is-loading");
lspButton.classList.remove("is-light"); lspButton.classList.add("is-light");
lspButtonState.innerText = "CRASHED"; lspButtonState.innerText = "CRASHED";
break; break;
case "terminal": case "terminal":
@ -338,6 +338,10 @@ async function main() {
servicesDisposable.dispose(); servicesDisposable.dispose();
servicesDisposable = null; servicesDisposable = null;
} }
lspButton.disabled = false;
lspButton.classList.remove("is-loading");
lspButton.classList.add("is-light");
lspButtonState.innerText = "DISCONNECTED";
scheduleConnect(); scheduleConnect();
}); });
} }