После обновления до 20.04 моя верхняя панель отображается неправильно. Иконки, кажется, имеют правильный размер, но сама полоска кажется слишком тонкой. Использование развернутых окон, например нажатие кнопки закрытия, фактически приводит к попаданию значков верхней панели. Я использую Ubuntu 20.04 с GNOME версии 3.36.2 В качестве темы я использую Adapta (приложения) и Adwaita (иконки), но их изменение не имеет никакого значения. Только при выборе другого масштаба дисплея, отличного от 100% (например, 125%), ошибка может исчезнуть. Изменение масштаба до 100% также означает неправильное масштабирование верхней панели. Как мне решить эту проблему?
Редактировать:
$ ls -al ~/.local/share/gnome-shell/extensions
drwxr-xr-x 5 dominik dominik 4096 Feb 16 12:22 .
drwx------ 3 dominik dominik 4096 Jun 23 10:07 ..
drwxr-xr-x 4 dominik dominik 4096 Feb 16 12:19 ShellTile@emasab.it
drwxr-xr-x 3 dominik dominik 4096 Feb 16 12:22 wintile@nowsci.com
drwxr-xr-x 2 dominik dominik 4096 Feb 16 12:19 wintitle@megh
$ ls -al /usr/share/gnome-shell/extensions
drwxr-xr-x 5 root root 4096 Feb 22 16:37 .
drwxr-xr-x 7 root root 4096 Mai 22 11:45 ..
drwxr-xr-x 2 root root 4096 Jun 14 19:20 desktop-icons@csoriano
drwxr-xr-x 3 root root 4096 Mai 22 11:37 ubuntu-appindicators@ubuntu.com
drwxr-xr-x 3 root root 4096 Jun 22 15:12 ubuntu-dock@ubuntu.com
У меня была такая же проблема после обновления от 18.04. Изменение темы оболочки GNOME решило проблему. Вам нужно будет установить:
sudo apt-get install gnome-tweak-tool
Затем просто скачайте любую тему оболочки gnome (Arc Theme работает для меня) и выберите это в инструменте настройки. Надеюсь, это поможет.