Forgot to mention that 016_no_offscreen_widgets_grabbing.patch had never been accepted upstream, as I learned in the discussion at https://bugzilla.gnome.org/607668.
Forgot to mention that 016_no_ offscreen_ widgets_ grabbing. patch had never been accepted upstream, as I learned in the discussion at https:/ /bugzilla. gnome.org/ 607668.