Если вы хотите изменить аспекты оболочки Gnome, вы можете использовать расширения из https://extensions.gnome.org/
. В этом случае (с версиями от 3.8 до 3.18 в настоящее время) вы можете использовать https://extensions.gnome.org/ (вы можете установить, перейдя по странице и нажав «Установить», вам понадобится плагин интеграции интеграции Gnome, установленный и включенный в браузере). Эта функциональность также доступна в некоторых других расширениях.