Как устранить баг с всплывающими подсказками при попытке скрыть dash-панель в меню «обзор» с помощью dash to dock?

Question

[Григорий Койрах]

У меня стоит стандартная ubuntu 19.10 (то есть которая с окружением gnome 3).
С помощью расширения dash to dock захотел спрятать dash-панель в меню "обзор" на манер классического, чистого gnome-shell. В настройках расширения я просто включил пункт "умное скрытие" и просто убрал галочки с "автоматическое скрытие" и "перекрытие окнами".
Dash-панель исчезла с рабочего стола, как я и хотел, но при перемещении курсора к тому краю экрана, где располагалась панель все равно появляются всплывающие подсказки с названиями приложений на этой панели и с ними можно взаимодействовать, хотя панель убрана с рабочего стола. Подскажите, это баг, и тогда как его можно исправить, или это фитча, которая есть и в стандартном gnome-shell, и с ней придется мириться?

Comments

[Григорий Койрах]

Забыл сказать, что это проблема не возникает, когда во весь экран открыто какое-нибудь приложение. Она появляется только на рабочем столе.