Uploaded image for project: 'BlueJ'
  1. BlueJ
  2. BLUEJ-1098

Auto-refresh of externally modified file

    Details

    • Type: Bug
    • Status: Closed
    • Priority: Medium
    • Resolution: Done
    • Affects Version/s: 4.1.1
    • Fix Version/s: 4.1.2
    • Component/s: Editor

      Description

      If a file is modified externally, such as with another editor or an external version control system, the BlueJ editor should detect that the file has been modified and auto-refresh it.

      If I recall correctly, BlueJ 3.x did this.

        Attachments

          Activity

            People

            • Assignee:
              davmac Davin McCall
              Reporter:
              bbrown Barry Brown
            • Votes:
              0 Vote for this issue
              Watchers:
              2 Start watching this issue

              Dates

              • Created:
                Updated:
                Resolved: