From kde-core-devel  Sat Jun 23 12:07:50 2001
From: m_elter () t-online ! de (Matthias Elter)
Date: Sat, 23 Jun 2001 12:07:50 +0000
To: kde-core-devel
Subject: Re: [PATCH] Kicker auto-hiding
X-MARC-Message: https://marc.info/?l=kde-core-devel&m=99329795521070

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 partial=
ly
> cover the mac-style menubar when hidden.

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

Matthias