saving document does not save

[Ralf Funken]

>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
http://www.kdevelop.org

Email: rfunken at kdevelop.de