The solution until this is solved is to use something other than gnome shell as far as I know. Mint Cinnamon and Elementary are both popular alternatives. On Sun, Feb 10, 2019, 1:29 PM Adrian <