Extension List
Простой менеджер расширений GNOME Shell на верхней панели
Разработчик
grroot
- Сайт проекта
- github.com
- Сообщить о проблеме
- github.com
Extension List
Расширение позволяет удобно управлять расширениями для GNOME: быстро перейти к настройкам расширения, включить/выключить одним нажатием или удалить расширение. Точка рядом с расширением показывает, что расширение включено.
