[Bug 58572] New: editor doesn't check for file updates outside IDE

[noster at venture.org.pl]

------- You are receiving this mail because: -------
You are the assignee for the bug, or are watching the assignee.
     
http://bugs.kde.org/show_bug.cgi?id=58572     
           Summary: editor doesn't check for file updates outside IDE
           Product: kdevelop
           Version: unspecified
          Platform: Debian stable
        OS/Version: Linux
            Status: UNCONFIRMED
          Severity: normal
          Priority: NOR
         Component: general
        AssignedTo: kdevelop-devel at kdevelop.org
        ReportedBy: noster at venture.org.pl


Version:           3.0 alpha 4 (using KDE KDE 3.1.1a)
Installed from:    Debian stable Packages
Compiler:          gcc version 2.95.4 20011002 (Debian prerelease) woody
OS:          Linux

Editor component in kdevelop doesn't seem to recognize open file modifications happening outside it's enviromnent. One have to use "Refresh [F5]" to re-read the modified content of the file.

The editor should notify the user that file was modified and ask him to reload it or not.