Add typescript-language-server

main
Tristan Daniël Maat 2022-04-09 17:43:37 +01:00
parent dcb665cde4
commit 60d7eec53f
Signed by: tlater
GPG Key ID: 49670FD774E43268
2 changed files with 12 additions and 10 deletions

View File

@ -16,6 +16,8 @@
in {
devShell = pkgs.mkShell {
nativeBuildInputs = with pkgs; [
nodePackages.typescript-language-server
(python39.withPackages (pypkgs:
with pypkgs; [
beautifulsoup4

View File

@ -15,17 +15,17 @@
* @param {string} fileName - The filename to give the file
*/
function downloadString(text, fileType, fileName) {
var blob = new Blob([text], { type: fileType });
var blob = new Blob([text], { type: fileType });
var a = document.createElement('a');
a.download = fileName;
a.href = URL.createObjectURL(blob);
a.dataset.downloadurl = [fileType, a.download, a.href].join(':');
a.style.display = "none";
document.body.appendChild(a);
a.click();
document.body.removeChild(a);
setTimeout(function() { URL.revokeObjectURL(a.href); }, 1500);
var a = document.createElement('a');
a.download = fileName;
a.href = URL.createObjectURL(blob);
a.dataset.downloadurl = [fileType, a.download, a.href].join(':');
a.style.display = "none";
document.body.appendChild(a);
a.click();
document.body.removeChild(a);
setTimeout(function() { URL.revokeObjectURL(a.href); }, 1500);
}
/**