Overview: Комплект полезных расширений для Gnome Shell.

19:09

gnome-shell-extensions

 

GNOME Shell Extensions - официальный набор расширений для Gnome Shell, добавляющий такие возможности, как классическое меню, кнопку выключения, расширение, позволяющее быстро менять темы оформления и многое другое.

 

Далее