Расширение Floating Mini Panel для GNOME добавляет автоматический режим

Расширение Floating Mini Panel для GNOME Shell теперь включает функцию автоматической активации компактной перемещаемой панели в зависимости от вашего рабочего процесса.
Несмотря на некоторые нюансы, связанные с активацией этого автоматического режима, он отлично вписывается в концепцию этого расширения. В конце концов, его задача — убрать основную панель с экрана, и возможность сделать это без ручного ввода является ключевым фактором.
Подводя итог, можно сказать, что расширение Floating Mini Panel заменяет полноразмерную панель на рабочем столе GNOME Shell на сверхкомпактную, свободно перемещаемую и всегда находящуюся сверху мини-панель. На ней отображаются только дата и быстрые настройки (без других значков или апплетов), чтобы вы не отвлекались.
Его можно включить или выключить. Идея в том, что вы включаете мини-режим, когда он вам нужен (например, при работе в полноэкранном режиме), чтобы получить альтернативу скрытию верхней панели в виде HUD. Его можно временно скрыть, щёлкнув правой кнопкой мыши по ручке захвата.
Хотя это не то дополнение для GNOME Shell UX, которое понравится всем, для тех, кому оно подходит, оно просто идеально.
Включение автоматической активации
В версии 3 расширения Плавающая мини-панель (обновление уже доступно на сайте расширений GNOME) появилось подменю для переключателя Быстрые настройки. В развёрнутом виде отображаются два варианта: Постоянно и Автоматически.
Постоянный — это старый режим, при котором мини-панель включена до тех пор, пока вы её не выключите.
Автоматически будет включать режим мини-панели каждый раз, когда приложение переходит в полноэкранный режим.
Удобно.
Но если у вас установлено и включено другое расширение GNOME, например Hide Top Panel или Dash to Panel, режим мини-панели может работать с ним в автоматическом режиме каждый раз, когда вы разворачиваете окно приложения на весь экран (если включено поведение Intellihide, оно будет срабатывать всякий раз, когда окно приложения приближается к нему):
В целом, это логичное дополнение к простому (и согласно странице на GitHub (https://github.com/ghi59/floating-mini-panel?tab=readme-ov-file#coding), на удивление простому в использовании) redux для традиционной фиксированной верхней панели в GNOME Shell.
В разработке находятся и другие функции, например возможность выборочно отображать значки других расширений панели, индикаторы приложений и т. д.; действие при нажатии средней кнопкой мыши на кнопку-ручку; поддержка прокрутки значка звука для регулировки громкости и т. д.
И хотя стандартный вид достаточно приятен, разработчик готов добавить возможности для настройки внешнего вида, например размера шрифта и иконок.
Вы можете установить последнюю версию этого расширения с веб-сайта GNOME Extensions по ссылке ниже, но гораздо проще установить его с помощью GNOME Extensions Manager (доступно в репозиториях Ubuntu).
Если у вас уже установлено это расширение, обновление загрузится в фоновом режиме и будет применено при следующем входе в систему.
Получить плавающую мини-панель в расширениях GNOME можно по ссылке: https://extensions.gnome.org/extension/8274/floating-mini-panel/
Редактор: AndreyEx