summaryrefslogtreecommitdiff
path: root/docs/getting_started
diff options
context:
space:
mode:
authorcrowlKats <13135287+crowlKats@users.noreply.github.com>2021-03-30 03:47:44 +0200
committerGitHub <noreply@github.com>2021-03-30 12:47:44 +1100
commite85595ae50cfb2be2426a8a9c59855a607f1bb58 (patch)
treea30e02c47373a06dc5b2ef1d1661cd175e09eff0 /docs/getting_started
parent269ea88e0e9a8c5e773d178e9d32ee6c920e1907 (diff)
docs: clarify jetbrains setup (#9930)
Co-authored-by: Kitson Kelly <me@kitsonkelly.com>
Diffstat (limited to 'docs/getting_started')
-rw-r--r--docs/getting_started/setup_your_environment.md6
1 files changed, 5 insertions, 1 deletions
diff --git a/docs/getting_started/setup_your_environment.md b/docs/getting_started/setup_your_environment.md
index 58b4a906c..b7fdc0397 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.