Угол активности держит & ldquo; re-enable & rdquo; сам

В Ubuntu 18.04 с помощью инструмента Gnome Tweak есть способ отключить горячий угол Activities. У меня есть настройка с несколькими мониторами, поэтому включение этой функции крайне раздражает. В любом случае ... Через пару минут (иногда только секунды) угол, похоже, снова включается. Я проверяю настройку Gnome Tweak, и это действительно отключает. Вот пример ситуации:

Кажется, что проблема возникает после перезапуска gnome-shell. Кажется, что это может быть ошибка, которая, если подтвердится, сообщит об этом.

Любые идеи о том, как я могу предотвратить это?