From fe42b652f3bf8c187d2c6312088e3bb5dafa36c7 Mon Sep 17 00:00:00 2001 From: crowlKats <13135287+crowlKats@users.noreply.github.com> Date: Tue, 30 Mar 2021 03:47:44 +0200 Subject: [PATCH] docs: clarify jetbrains setup (#9930) Co-authored-by: Kitson Kelly --- docs/getting_started/setup_your_environment.md | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/docs/getting_started/setup_your_environment.md b/docs/getting_started/setup_your_environment.md index 58b4a906c3..b7fdc03977 100644 --- a/docs/getting_started/setup_your_environment.md +++ b/docs/getting_started/setup_your_environment.md @@ -98,7 +98,11 @@ Please report any issues. Support for JetBrains IDEs is available through [the Deno plugin](https://plugins.jetbrains.com/plugin/14382-deno). -For more information on how to set-up your JetBrains IDE for Deno, read +Once installed, replace the content of +`External Libraries > Deno Library > lib > lib.deno.d.ts` with the output of +`deno types`. This will ensure the typings for the extension match the current +version. You will have to do this every time you update the version of Deno. For +more information on how to set-up your JetBrains IDE for Deno, read [this comment](https://youtrack.jetbrains.com/issue/WEB-41607#focus=streamItem-27-4160152.0-0) on YouTrack.