I just discovered that I could change the height of a plasma panel with the scroll wheel. Yay for that, because my old mouse is a bit twitchy when moving pixel-by-pixel. But I found a little bug along the way: when I change direction of scrolling, the change in size follows suit one event later. I.o.w.: Actual result: 10 I scroll up, the panel size increases with each scroll event. 20 I scroll down, the size increases one more time. 30 I scroll down again, now the size decreases. 40 I scroll up, the size decreases one more time. 50 GOTO 10 Expected result: - The change of size should follow the scroll direction immediately. :) My versions are Plasma workspace 5.17.2, Qt 5.12.5, KDE 19.04.3.
Addendum: I’m not sure how to describe it. I want to achieve the smallest panel height at which the Task Switcher icons are shown at a specific size. So I was slowly scrolling from the bottom up. And then I noticed that even though the panel size increased, the icons in the task switcher applet shrunk. Also, the lower edge of the panel is not fixed to the bottom edge pixel of the screen. It appears to move up and down. If required I could attempt a video capture of it.
Can reproduce the issue as described.
Also reproducible on Plasma 5.18 beta.
Fixed with https://phabricator.kde.org/D29535
This was in fact fixed with https://phabricator.kde.org/D29535 after all.