Using gnome-tweaks, I have set Focus Follows Mouse. It mostly works as expected, but when I use a keyboard shortcut to lower a window, the focus remains on the lowered window, even though the mouse is now on the newly exposed window on top. Only If I move the mouse out of the window and back, does the focus attach to the window the mouse is on.
Is there a gsetting or some other to way to have focus follow the mouse after lowering a window in this fashion?
I first noticed this behavior in gnome about 10 to 15 years ago. (Back then, focus follows mouse was the default, and it was settable in the main settings, without need for the tweaks tool.) Prior to that, the behavior worked as expected. For example, if I had 5 windows stacked on top of each other, I could hit my “lower window below others” short cut multiple times to get to the window I wanted, without clicking or moving the mouse.