Panel-Docklet er en GNOME Shell utvidelse som fungerer som en dock eller panel, som viser minimert og aktive vinduer.Panel-Docklet har støtte for flere skjermer, vindustitler, arbeidsområder, dra, favoritter.For å installere denne utvidelsen må du ha...