Public bug reported:
Binary package hint: kdevelop
When a file which is open in kdevelop is changed on disk, kdevelop re-loads it
automatically
without asking the user. This operation is not undo-able and thus can result in
data loss.
To recreate the bug:
(1) open a file in kdevelop
(2) save it
(3) change it outside of kdevelop (e.g. "echo test > file")
(4) the buffer in kdevelop is updated automatically
Step (2) is important - - if the buffer in kdevelop isn't save then kdevelop
doesn't reload the file.
(but it doesn't warn you when saving the file that it changed on the disk,
which is another bug...)
kdevelop version 3.3.4 using kde 3.5.5
** Affects: kdevelop (Ubuntu)
Importance: Undecided
Status: Unconfirmed
--
file is refreshed automatically when changed on disk
https://launchpad.net/bugs/83538
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs