Workspaces to Dock 1.0

Arbeitsbereiche die Option Dock ist ein GNOME-Shell-Erweiterung, die eine intellihide Dock implementiert. Sie ersetzt die normale Arbeitsbereiche des GNOME & nbsp; Übersichtsmodus.Um diese Erweiterung zu installieren, müssen Sie GNOME Shell installiert...