Werkruimten naar Dock is een GNOME Shell-extensie die een intellihide dock implementeert. Het vervangt de normale werkruimten van de GNOME & nbsp; overzicht modus.Om deze uitbreiding te installeren moet u GNOME Shell geïnstalleerd of kaneel. . Echter, in...