После того, как вы отключили «динамические» рабочие пространства с помощью (GNOME) твиков и включили «статические» (с фиксированным числом, в данном случае 4), установите расширение GNOME под названием Workspace Grid . Это
Упорядочивает рабочие пространства в настраиваемой сетке.
Также:
- реализует сочетания клавиш для навигации по левому / правому рабочему пространству (вверх / вниз уже реализованы)
- обновляет боковую панель рабочих пространств с помощью конфигурации сетки (используйте опцию «Удалить боковую панель рабочих пространств», если она вам не нужна).
Из настроек расширения вы сможете установить предпочитаемый макет (например, 2x2, 2x3, 3x3 и т. Д.).
Вы можете увидеть его страницу GitHub для более подробной информации.
Официально он пока не поддерживает GNOME v3.26, но должен работать нормально. В противном случае вы можете заставить его работать, добавляя "3.26"
его в metadata.json
файл.
Обновление от аскера: Работало
из коробки, ничего не меняя. Даже мои старые пользовательские ярлыки работали.
Обновление 2: Ubuntu 19.04
В настоящее время расширение не работает с Gnome 3.32, и может потребоваться некоторое время, прежде чем (если) оно снова будет работать, потому что это текущий сопровождающий (спасибо zakkak ) ищет добровольцев, чтобы взять на себя сопровождение ). Подходящей заменой может быть Workspace Matrix, которая имеет немного меньше функций, но основные функции присутствуют.