GUI issue with selected tool

Select a piece of audio and select a tool, in my case the mute tool.
The mouse pointer sometimes stays with the selected tool symbol. Moving it to another part of the floating window makes the pointer return.

Same problems here. Tool icons won’t change correctly and I realized that sometimes the different zones of audio events like clip gain, fade in fade out handles are not shown correctly.

Confirmed here.