KDE/kdevplatform

[David Nolden]

Am Montag 27 Juli 2009 17:02:40 schrieb Andreas Pakulat:
> On 27.07.09 16:48:06, Andreas Pakulat wrote:
> > See the attached screenshot, thats what I got after creating a second
> > window, changing a shortcut and then closing it via window-close-button.
> > And its there on the next start of kdevelop too.
>
> Sorry, too hot in here (trying to type and fan yourself at the same time
> isn't really a good idea). Now I've got it attached.
>
> Andreas
Does it still look like that after restart? Looks more like the widget simply 
didn't get deleted, which should be fixable with a bit of debugging.