Tom 4897eb8c3e Taskbar: Update and clear taskbar button rectangles ...

We need to update all button rectangles when the layout changed.
We also need to clear the taskbar button rectangle when we
remove a modal window button, so that WindowServer uses the
parent's taskbar button rectangle for the minimize animation.

2020-08-19 11:38:26 +02:00

12 KiB

Raw Blame History

View Raw