how to autohide the panel?

Peter Humphrey peter at prh.myzen.co.uk
Wed Mar 2 14:29:41 GMT 2022


On Wednesday, 2 March 2022 10:50:57 GMT René J.V. Bertin wrote:
> On Wednesday March 02 2022 10:25:45 Peter Humphrey wrote:
> >Wouldn't it be easier, and save all this difficulty, if the logic were
> >changed so that the panel, once hidden, stays that way until ...
> 
> Simpler maybe, but that would a) require all the devs who ever worked on
> this to eat their pride and b) assume that everyone appreciates the simpler
> behaviour.
> 
> This list isn't very active and already there were a few people who stated
> that "it works for them"; impossible to tell if they represent the
> consensus out there, or we.
> 
> The safe approach would be to add the simpler logic as an option, just like
> "focus follows mouse" has complexity options in KWin.

That's a better idea, René. I like it.

-- 
Regards,
Peter.

Gentoo amd64 system, Kernel 5.15.11, GCC 11.2.0, SDDM 0.18.1-r5
kde-apps 21.08.3, kde-frameworks 5.90.0, kde-plasma 5.23.5





More information about the kde mailing list