file is refreshed automatically when changed on disk

[Amnon Aaronsohn]

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

[Ralph Janke (txwikinger)]

Thanks for submitting this report and helping to make Kubuntu better.

I can confirm this behaviour with Hardy.

Thanks again

[Ralph Janke (txwikinger)]

This can be configured by using settings->Configure KDevelop and then Editor in the left sidebar.