From 451563d7a7daa61ee6cd9bc7be4e8f4e37ac1871 Mon Sep 17 00:00:00 2001 From: Paul Slaughter Date: Mon, 17 Jun 2019 13:49:48 +0000 Subject: Apply suggestion to doc/user/project/web_ide/index.md --- doc/user/project/web_ide/index.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/doc/user/project/web_ide/index.md b/doc/user/project/web_ide/index.md index 73b1f303b8b..b1003842480 100644 --- a/doc/user/project/web_ide/index.md +++ b/doc/user/project/web_ide/index.md @@ -239,7 +239,8 @@ File changes in the Web IDE can be synced to a running Web Terminal. This enables users to test their code changes in a preconfigured terminal environment. -NOTE: **Note:** Only file changes in the Web IDE are synced to the terminal. +NOTE: **Note:** +Only file changes in the Web IDE are synced to the terminal. Changes made in the terminal are **not** synced to the Web IDE. Once you have [configured the Web Terminal for File Syncing](#configuring-file-syncing), -- cgit v1.2.1