Antworten:
Ja, Sie können dies mit der Workspace Grid- Erweiterung tun .
Führen Sie einen der folgenden Schritte aus (reproduziert aus dem Abschnitt Installation ):
- Laden Sie die
.zipDatei auf der Downloadseite herunter .- Öffnen Sie
gnome-tweak-tool, gehen Sie zu "Shell Extensions", "Install Extension" und wählen Sie die.zipDatei aus.Oder
- Besuchen Sie https://extensions.gnome.org/extension/484/workspace-grid/
- Installieren Sie durch Klicken auf den Kippschalter
- Klicken Sie auf die Konfigurationsschaltfläche neben dem Schalter (möglicherweise ist ein erneutes Laden der Seite erforderlich).
gnome-tweak-toolfinde ich einen Artikel mit dem Namen Extensions. Darunter sehe ich Ubuntu appindicatorsund Ubuntu dock. Das ist für Ubuntu 17.04.