Хорошо, благодаря комментариям и особенно Rinzwind мне удалось найти решение:
Оказывается, я уже использовал Сетка рабочей области. Хотя не очевидно, как это сделать, расширение предлагает поддержку пользовательских меток:
- Установите и активируйте расширение.
- Настроить расширение - это можно сделать прямо на сайте (я об этом не знал). Убедитесь, что метки рабочей области включены.
Если вы видите переключатель сейчас, он будет нумеровать каждую рабочую область («Рабочая область 1, 2, 3 и т. д.»). Если я не запомню числа, это вообще бесполезно. Но есть способ изменить этикетку.
Откройте консоль, введите dconf-редактор. Перейдите к /org/gnome/desktop/wm/preferences/workspace-names. Установите для параметра «Использовать значение по умолчанию» значение «ВЫКЛ» и добавьте массив меток.
Метки идут слева направо, сверху вниз. Если у вас есть сетка 3x3 и вы хотите пометить нижнюю левую рабочую область, это 7-й индекс в массиве. Если вы хотите просто удалить имя по умолчанию «Рабочее пространство X» для определенного рабочего пространства, просто используйте ' ' (пространство); пустая строка '' не будет работать.
Вот и все! Работает как шарм, по крайней мере, если вы используете сетку рабочей области. Я не уверен, правильно ли он поддерживается в более поздних версиях Gnome, поскольку комментарии с 1 звездой означают, что есть проблемы.
Дополнительную документацию можно найти на https://github.com/zakkak/рабочее пространство-сетка
Пожалуйста, имейте в виду, что это расширение больше не находится в разработке.
