Una vez que haya deshabilitado los espacios de trabajo "dinámicos" utilizando ajustes (GNOME) y habilitados los "estáticos" (con un número fijo, 4 en este caso), instale una extensión de GNOME llamada Workspace Grid . Eso
Organiza espacios de trabajo en una cuadrícula configurable.
También:
- implementa combinaciones de teclas para la navegación del espacio de trabajo izquierda / derecha (arriba / abajo ya están implementadas)
- actualiza la barra lateral de espacios de trabajo con configuración de cuadrícula (use Eliminar barra lateral de espacios de trabajo si no lo desea).
Desde las preferencias de la extensión, podrá establecer su diseño preferido (por ejemplo, 2x2, 2x3, 3x3, etc.).
Puede ver su página de GitHub para obtener información más detallada.
Oficialmente todavía no es compatible con GNOME v3.26, pero debería funcionar bien. De lo contrario, puede hacer que funcione agregando "3.26"
a su metadata.json
archivo.
Actualización del autor de la pregunta:
Funcionó de fábrica sin cambiar nada. Incluso mis viejos atajos personalizados funcionaron.
Actualización 2: Ubuntu 19.04
Actualmente, la extensión no funciona con Gnome 3.32 y podría pasar un tiempo antes (si) lo hará nuevamente, porque es el encargado actual (gracias, zakkak ) está buscando voluntarios para hacerse cargo del mantenimiento ). El reemplazo adecuado puede ser Workspace Matrix, que tiene un poco menos de características, pero las características principales están presentes.
Open gnome-tweak-tool, go to “Shell Extensions”, “Install Extension” and select the .zip file
pero para mí en el "Extensiones" Tab de la herramienta no me encontré con esta opción ...zip
at~/.local/share/gnome-shell/extensions
.