Você pode tentar desabilitá-lo no gnome-tweak-tool
, que pode ser iniciado executando-o no Terminal ( CTRL + ALT + T ) ou pesquisando por Tweak Tool
no traço.
Se isso ainda não funcionar, receio que não haja muito o que você possa fazer além de marcar esses bugs que também afetam você: