D12916: Panel should not stop auto-hiding if a window wants attention

michaelmoon updated this revision to Diff 70036. michaelmoon added a comment. Updated for 5.16.5, which the previous patch failed against. CHANGES SINCE LAST UPDATE https://phabricator.kde.org/D12916?vs=61838&id=70036 REVISION DETAIL https://phabricator.kde.org/D12916 AFFECTED FILES ap

D12916: Panel should not stop auto-hiding if a window wants attention

michaelmoon added a comment. I'd love to know as well.. While I've got my patches in my local patch set, others in the linked bug are just fighting with their panel every day. If there's a tracking bug for 5.16 or 5.17 release, perhaps we could add this to its dependencies? REPOSITORY

D12916: Panel should not stop auto-hiding if a window wants attention

michaelmoon added a comment. > would having to move your mouse over the panel and exiting again to hide it again work? Like it did in KDE4? Yeah that would work for me! Does that make the associated bug a regression? REPOSITORY R119 Plasma Desktop REVISION DETAIL https://phabri

D12916: Panel should not stop auto-hiding if a window wants attention

michaelmoon added a comment. @hein thanks for your comments. Fwiw, the reason I use KDE in the first place is that it has //all// the options, and I can control my desktop experience to a significantly greater degree than any other DE I've tried so far - but there's just one option it s

D12916: Panel should not stop auto-hiding if a window wants attention

michaelmoon updated this revision to Diff 61838. michaelmoon added a comment. Altered patch to apply against plasma-desktop:b2ce4bd (current git master) REPOSITORY R119 Plasma Desktop CHANGES SINCE LAST UPDATE h

D12916: Panel should not stop auto-hiding if a window wants attention

michaelmoon updated this revision to Diff 61785. michaelmoon edited the summary of this revision. michaelmoon edited the test plan for this revision. michaelmoon changed the repository for this revision from R120 Plasma Workspace to R119 Plasma Desktop. michaelmoon added a comment. Add an opti

D12916: Panel should not stop auto-hiding if a window wants attention

michaelmoon created this revision. Restricted Application added a project: Plasma. Restricted Application added a subscriber: plasma-devel. michaelmoon requested review of this revision. REVISION SUMMARY BUG: 394119 I love an auto-hiding panel. However, if any window wants attention, t