Я просто обновляюсь с 18.04 до 20.04, и у меня проблема с иконками в доках. Проблема в том, что док не обновляется.
Единственный способ обновить док - это изменить внешний вид темы значков в Tweaks, но мне приходится менять его каждый раз, когда я открываю или закрываю приложение, или каждый раз, когда я переключаюсь с одного виртуального рабочего стола на другой.
В некоторых других сообщениях говорится, что проблема устраняется при установке темы по умолчанию, но у меня ни одна тема не работала.
что это могло быть? как бы это исправить?
Спасибо!
Вот видео проблемы.
Обратите внимание, что я уже давно активировал настройку изолировать-рабочие области с помощью gsettings set org.gnome.shell.extensions.dash-to-dock изолировать-рабочие области true
Обратите внимание, что док-станция обновляет значки всякий раз, когда я меняю тему значков в настройках. В 0:54 есть момент, когда док-станция обновляется сама по себе, но это происходит время от времени, а не всегда так, как должно происходить.
https://drive.google.com / file / d / 1DHJlnF-W_J6PRp6SZNl8AxNd1EbmTRFz / view? usp = sharing
(Я хочу извиниться за опечатки, английский - не мой родной язык, и я очень торопился, только сейчас посмотрел и заметил их)