KDevelop3.4 error reporter doesn't update on save

[Andreas Pakulat]

Hi,

I asked this on IRC, but mattr was gone before I returned from lunch...

Here the kdevelop3.4 problem reporter doesn't update the listview for
the current file on file-saving, only when switching to another file.

However the mark on the left side of the editor vanishes when fixing the
error.

Andreas

-- 
Lady Luck brings added income today.  Lady friend takes it away tonight.