saving document does not save

Ralf Funken rfunken at
Tue Apr 11 17:38:41 UTC 2000

>The only thing that isn't right, and should be
> fixed, is that the tree be reparsed after each save to keep it up to date.
Forget this sentence. This was done a little while ago for performance reasons
and due to a bug report. You can still update the tree via the menu.

Ralf Funken

The KDevelop Project

Email: rfunken at

More information about the KDevelop-devel mailing list