В GNOME Shell есть баг, ломающий CSS-разметку для всех расширений, если вы используете расширение User-Theme. Этот баг не в расширении User-Theme, но это расширение вызывает этот баг (когда используется вместе с GNOME Shell Themeselector или Tweak Tool).
К сожалению, этот баг так и не устранен, но вы можете заставить все расширения работать с User-Theme, используя патч. Я также нашел решение на fpmurphy.com, но этот патч не работал, потому что он не пропатчил еще и файл main.js.
Вот скриншот с двумя расширениями (Weather Extension и System Monitor), перед применением патча:
И после патча:
Вот видео, демонстрирующее проблему и решение:
После применения решения ниже, вы сможете использовать GNOME Tweak Tool или расширение ThemeSelector для изменения тем GNOME Shell themes без проблем с другими расширениями.
Применяем патч для исправления проблемы с CSS в GNOME Shell CSS при применении расширения User-Theme
Перед тем, как вы попробуете применить патч, сделайте бэкап оригинальных файлов extensionSystem.js и main.js из папки /usr/share/gnome-shell/js/ui/ — вы можете использовать команды ниже для копирования их в папку ~/backup:
cd
mkdir -p backup
cp /usr/share/gnome-shell/js/ui/extensionSystem.js ~/backup/
cp /usr/share/gnome-shell/js/ui/main.js ~/backup/
Вы можете найти патч здесь и применить его в своей системе, используя команды терминала ниже:
su — #in Ubuntu, use «sudo su»
cd /usr/share/gnome-shell/
wget -O — http://bugzilla-attachments.gnome.org/attachment.cgi?id=181855 | patch -p1
Или используйте уже пропатченные файлы, используя команды ниже:
sudo rm -f /usr/share/gnome-shell/js/ui/extensionSystem.js
sudo rm -f /usr/share/gnome-shell/js/ui/main.js
sudo wget http://webupd8.googlecode.com/files/extensionSystem.js -O /usr/share/gnome-shell/js/ui/extensionSystem.js
sudo wget http://webupd8.googlecode.com/files/main.js -O /usr/share/gnome-shell/js/ui/main.js
Важно: если вы обновите GNOME Shell, файлы патча будут перезаписаны, и вам придется применять патч заново!
Портал о бодибилдинге — bodybild.net