From 3a60f38fa61e8a23fa794c1555544aba25dd4eee Mon Sep 17 00:00:00 2001 From: Ruben Fiszel Date: Thu, 18 Aug 2022 09:30:24 +0200 Subject: [PATCH] change default typescript --- frontend/src/lib/script_helpers.ts | 1 + 1 file changed, 1 insertion(+) diff --git a/frontend/src/lib/script_helpers.ts b/frontend/src/lib/script_helpers.ts index 3bb469ec7b..be186285a1 100644 --- a/frontend/src/lib/script_helpers.ts +++ b/frontend/src/lib/script_helpers.ts @@ -31,6 +31,7 @@ def main(name: str = "Nicolas Bourbaki", ` export const DENO_INIT_CODE = ` // reload the smart assistant on the top right if it dies to get autocompletion and syntax highlighting +// (Ctrl+space to cache dependencies on imports hover). // to import most npm packages without deno.land, use esm: // import { toWords } from "https://esm.sh/number-to-words" // import * as wmill from 'https://deno.land/x/windmill@v${__pkg__.version}/mod.ts'