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

List:       kde-bugs-dist
Subject:    [Bug 158556] Manual hiding of panel
From:       James Richard Tyrer <tyrerj () acm ! org>
Date:       2010-01-14 13:45:38
Message-ID: 20100114134538.8DCAA2FCF0 () immanuel ! kde ! org
[Download RAW message or body]

https://bugs.kde.org/show_bug.cgi?id=158556





--- Comment #56 from James Richard Tyrer <tyrerj acm org>  2010-01-14 14:45:13 ---
It had this thought; what would make manual hiding of the panel unnecessary?

I much prefer auto hiding, but it has a problem; the panels tend to pop up when
you don't want them to.

My proposed solution to the problem would require the assistance of the authors
of the mouse drivers for X.  My idea is to have the mouse extent be larger than
the screen.  Then there could be a margin, where the mouse would have to be
moved a distance off screen before the auto hide panel appeared.

-- 
Configure bugmail: https://bugs.kde.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are watching all bug changes.
[prev in list] [next in list] [prev in thread] [next in thread]