You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
Repository navigation
Monitor files opened in DevStudio to detect changes from the outside #788
If a file opened in DevStudio is modified from outside, this file is not updated in DevStudio. Warn the user of a modification from outside and refresh this file.
changed the title [-]Warn when an opened file in DevStudio is modified from outside[/-][+]Monitor files opened in DevStudio to detect changes from the outside[/+]on Aug 30, 2018
If a file opened in DevStudio is modified from outside, this file is not updated in DevStudio. Warn the user of a modification from outside and refresh this file.