a bug on kdevelop's wedget

[Sven Brauch]

On Wednesday 02 July 2014 12:21:48 Aleix Pol wrote:
> Hi, I have never seen this.
We've seen this in the past, it was related to cpp's red label in the bottom 
panel which said something like "not updating duchain because I forgot what" 
which did not allow itself to be clipped. But I think that was removed in 4.5 
and later, no? What version of KDevelop are we talking about?

Greetings!