Configuratiescherm-Docklet is een GNOME Shell-extensie die fungeert als een dock of paneel, Resultaat geminimaliseerd en actieve vensters.Panel-Docklet heeft ondersteuning voor meerdere schermen, raam-titels, werkruimten, slepen, favorieten.Om deze...