Fix flickering display for widgets in the header bar according to hovering the mouse pointer there
I observe flickering displays for widgets in the header bar of the application “GNOME Builder 3.38.1”.
- panel switches
- search box
- workspace menu
Are any of them redrawn too frequently if the mouse pointer is positioned at these places in the graphical user interface?