Odpowiedzi:
Tak, możesz to zrobić za pomocą rozszerzenia Workspace Grid .
Wykonaj jedną z następujących czynności (skopiowane z części Instalacja ):
- Pobierz
.zip
plik na stronie Pobrane .- Otwórz
gnome-tweak-tool
, przejdź do „Rozszerzeń powłoki”, „Zainstaluj rozszerzenie” i wybierz.zip
plik.Lub
- Odwiedź https://extensions.gnome.org/extension/484/workspace-grid/
- Zainstaluj, klikając przełącznik
- Naciśnij przycisk konfiguracji obok przełącznika (może być konieczne ponowne załadowanie strony).
gnome-tweak-tool
znajduję przedmiot o nazwie Extensions
. Pod tym widzę Ubuntu appindicators
i Ubuntu dock
. To dotyczy Ubuntu 17.04.