From d4ba936e45a980e05ba9a4086456ad75f733b8de Mon Sep 17 00:00:00 2001 From: Michael Papadopoulos Date: Fri, 28 Aug 2020 18:48:03 -0400 Subject: [PATCH] Update editor.md --- src/docs/get-started/editor.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/docs/get-started/editor.md b/src/docs/get-started/editor.md index d635d77410e..1782238adc8 100644 --- a/src/docs/get-started/editor.md +++ b/src/docs/get-started/editor.md @@ -63,8 +63,8 @@ To install these: {{site.alert.note}} Prior to v3.6.3.0, access plugin preferences as follows: - 1. Open plugin preferences (**Preferences > Plugins** on macOS, - **File > Settings > Plugins** on Windows & Linux). + 1. Open plugin preferences (on MacOS go to **Preferences > Plugins**; + on Windows & Linux go to **File > Settings > Plugins**). 1. Select **Marketplace**, select the Flutter plugin and click **Install**. {{site.alert.end}}