Updated for 5.16.5, which the previous patch failed against.
- Queries
- All Stories
- Search
- Advanced Search
Feed Advanced Search
Advanced Search
Advanced Search
Nov 20 2019
Nov 20 2019
michaelmoon updated the diff for D12916: Panel should not stop auto-hiding if a window wants attention.
Aug 12 2019
Aug 12 2019
michaelmoon added a comment to D12916: Panel should not stop auto-hiding if a window wants attention.
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.
Jul 22 2019
Jul 22 2019
michaelmoon added a comment to D12916: Panel should not stop auto-hiding if a window wants attention.
would having to move your mouse over the panel and exiting again to hide it again work?
michaelmoon added a comment to D12916: Panel should not stop auto-hiding if a window wants attention.
@hein thanks for your comments.
Jul 16 2019
Jul 16 2019
michaelmoon updated the diff for D12916: Panel should not stop auto-hiding if a window wants attention.
Altered patch to apply against plasma-desktop:b2ce4bd (current git master)
Jul 15 2019
Jul 15 2019
michaelmoon updated the diff for D12916: Panel should not stop auto-hiding if a window wants attention.
Add an option to prevent Task Manager unhiding panels when a window wants attention. Default is existing behaviour.
May 16 2018
May 16 2018