18.04 Gnome Desktop На рабочем столе не указан постоянный номер рабочего пространства
Мне не удалось постоянно получить номер текущей рабочей области на рабочем столе. Если я нажму клавишу окна, конечно, я могу получить это, но это раздражает. У меня есть 4 фиксированных рабочих пространства, установленных gnome-tweaks. Я отмечаю, что Fedora 28 Gnome имеет номер рабочего пространства в строке состояния (показывает 2/4 для обозначения рабочего пространства 2 из 4).
1 ответ
Установите следующее расширение гнома:
Или установка от пакета Ubuntu с Gnome по умолчанию расширения Shell - это, вероятно, более надежно.
Можно установить его использование:
sudo apt install gnome-shell-extensions
После установки того пакета, Gnome перезапуска Shell с помощью Alt+F2 и вводя r, затем нажимают клавишу Enter.
И наконец включите "расширение" Индикатора Рабочей области с помощью Тонких настроек Gnome.