[prev in list] [next in list] [prev in thread] [next in thread] 

List:       kde-core-devel
Subject:    Re: [PATCH] Kicker auto-hiding
From:       m_elter () t-online ! de (Matthias Elter)
Date:       2001-06-23 12:07:50
[Download RAW message or body]

On Friday 22 June 2001 22:13, John Firebaugh wrote:
> This patches fixes bug #27309: When putting an extension and the panel in
> the same position and activating automatic hide, the extension scrolls
> above the panel instead of hiding behind it. Also, panels won't partially
> cover the mac-style menubar when hidden.

The patch looks ok ... but autohide is tricky ... commit and we will see if 
it breaks anything. ;-)

Matthias

[prev in list] [next in list] [prev in thread] [next in thread]