From e3e352fac8bc128c32602074e9a0d0a11c3018d8 Mon Sep 17 00:00:00 2001 From: Laurens Valk Date: Tue, 19 May 2020 13:11:16 +0200 Subject: [PATCH] doc/start_ev3_upgrade: note extension versions --- doc/api/start_ev3_upgrade.inc | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/doc/api/start_ev3_upgrade.inc b/doc/api/start_ev3_upgrade.inc index 8c33dc0..619dbee 100644 --- a/doc/api/start_ev3_upgrade.inc +++ b/doc/api/start_ev3_upgrade.inc @@ -238,3 +238,11 @@ Other internal changes to existing features - Sound and image files have moved to a dedicated :doc:`media ` module. Importing them from the old location will continue to work in this release, to make sure existing scripts will still work. + +**Installing an older version of the Visual Studio Code extension** + +The Visual Studio Code extension and this documentation are updated +automatically. You can still use your existing scripts with the updated +extension. If you absolutely wish to keep the old version, look for the EV3 +extension on the extension tab, click the gear icon, and +click *install another version*.