michaelmoon (Michael Moon)
User

Projects

User does not belong to any projects.

Today

  • Clear sailing ahead.

Tomorrow

  • Clear sailing ahead.

Thursday

  • Clear sailing ahead.

User Details

User Since
May 16 2018, 5:31 AM (73 w, 5 d)
Availability
Available

Recent Activity

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