Summary: | IDEAl docked panels do not always hide when autohide is clicked | ||
---|---|---|---|
Product: | [Frameworks and Libraries] kdelibs | Reporter: | Joseph Nievelt <jjnievel> |
Component: | kmdi | Assignee: | Matt Rogers <mattr> |
Status: | RESOLVED INTENTIONAL | ||
Severity: | normal | ||
Priority: | NOR | ||
Version: | SVN | ||
Target Milestone: | --- | ||
Platform: | Gentoo Packages | ||
OS: | Linux | ||
Latest Commit: | Version Fixed In: |
Description
Joseph Nievelt
2003-08-15 03:54:40 UTC
I tried the first example in both KDevelop and Kate. This behaviour is still around. It's quite likely that fixing it will create more problems than it solves, but the bug is in either case not in the KDevelop code. Reassigning to kdelibs/kmdi. kmdi has been removed in KDE 4 and no more fixes will be made for KDE 3.5.x. The apps that were using kmdi in the KDE SVN repository have moved to their own multi-document implementations |