Skip to content

Monitor files opened in DevStudio to detect changes from the outside #788

Description

@crevoisier

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.

Activity

  1. 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
  2. added this to the release-2.2.+ milestone on Feb 11, 2020
  3. Arthoni commented on Mar 21, 2025

    @Arthoni
    Member

    Warn user if change detected on a file.
    Strategy of resolution: keep content from devstudio / reload from disk / save as new [/ merge ?]

    If implemented, should be an option, disabled by default.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions