Feed Advanced Search

Nov 20 2019

michaelmoon updated the diff for D12916: Panel should not stop auto-hiding if a window wants attention.

Updated for 5.16.5, which the previous patch failed against.

Nov 20 2019, 4:35 AM · Plasma

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.

Aug 12 2019, 4:36 AM · Plasma

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?

Jul 22 2019, 5:21 PM · Plasma
michaelmoon added a comment to D12916: Panel should not stop auto-hiding if a window wants attention.

@hein thanks for your comments.

Jul 22 2019, 4:53 PM · Plasma

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 16 2019, 6:07 AM · Plasma

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.

Jul 15 2019, 11:47 AM · Plasma

May 16 2018

michaelmoon requested review of D12916: Panel should not stop auto-hiding if a window wants attention.
May 16 2018, 5:42 AM · Plasma