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
.zip
Datei auf der Downloadseite herunter .- Öffnen Sie
gnome-tweak-tool
, gehen Sie zu "Shell Extensions", "Install Extension" und wählen Sie die.zip
Datei 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-tool
finde ich einen Artikel mit dem Namen Extensions
. Darunter sehe ich Ubuntu appindicators
und Ubuntu dock
. Das ist für Ubuntu 17.04.