Popover menus prevent workspace switching
When a popover in widget factory master is open I can't swipe between workspaces with 4 finger gestures. I assume GTK is eating events somehow?
Also, I wonder if this is related to gtk#2722 (moved) / gnome-shell#2788?
cc @exalm