Sanket — расширение для GNOME Shell, которое позволяет менять внешний вид и поведение меню даты, календаря, уведомлений и быстрых настроек.
Уведомления можно разместить под меню быстрых настроек в виде отдельной плавающей панели или встроить прямо в него. Если места мало, переключатели быстрых настроек могут сворачиваться в точки, а при необходимости — снова разворачиваться, как в Android.
Помимо этого, переключатели можно расположить в два ряда и выбрать, будут ли ползунки громкости и яркости видны в компактном режиме. В режиме редактирования элементы управления можно перетаскивать, меняя их порядок.
Если уведомления больше не отображаются внутри календаря, его меню превращается скорее в информационную панель, чем в раздел, куда собрано всё подряд. Прогноз погоды из GNOME Weather можно свернуть до одного анимированного значка, а часовые пояса из GNOME Clocks — показывать в виде аналоговых часов.
Sanket меняет и способ управления уведомлениями: видимым остаётся только самое новое. Это может быть неудобно: чтобы увидеть остальные уведомления, приходится раскрывать список, вместо того чтобы сразу видеть их все. Уведомления также можно закреплять.
При этом использовать все возможности расширения необязательно. Настройки позволяют многое изменить, но можно оставить стандартный вид и применить Sanket только для отдельных функций — например, скрыть заголовок календаря или список предстоящих событий.
В настройках есть наглядные предварительные просмотры многих вариантов оформления. Благодаря им можно увидеть, как изменится расположение элементов, не подбирая параметры наугад.
Много вариантов настройки
Если вам никогда не хотелось что-то поменять в меню календаря или быстрых настроек GNOME Shell, Sanket может показаться не слишком интересным.
Но расширение стоит попробовать тем, кому нравится настраивать рабочий стол или приближать GNOME к виду других сред и операционных систем. В сочетании с Dash to Panel оно, например, позволяет создать оформление в духе ChromeOS.
Sanket совместим с GNOME Shell версий 45–51. Установить его можно с сайта GNOME Extensions. Расширения также можно искать и устанавливать через настольное приложение Extensions Manager, не открывая браузер.