From 76d1d6f1505b9945dcb35d14d43fb606d0d2defd Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Fri, 15 May 2020 09:53:09 +0200
Subject: [PATCH] [ivette/doc] Add section on vs code.

---
 ivette/INSTALL.md | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/ivette/INSTALL.md b/ivette/INSTALL.md
index 40eade6fcd2..54c752a99de 100644
--- a/ivette/INSTALL.md
+++ b/ivette/INSTALL.md
@@ -30,3 +30,13 @@ M-, back to previous point
 M-x tide-documentation-at-point
 M-x tide-error-at-point
 ```
+
+# VS Code
+
+VS Code has native support for Typescript (and JavaScript, of course), in terms
+of code navigation, syntax highlighting and formatting, compiler errors and
+warnings. The same holds for React development.
+
+Useful extensions:
+- `ESlint` provides support for lint errors and warnings;
+- `ES7 React/Redux/GraphQL/React-Native snippets` provides boilerplate snippets;
-- 
GitLab