Panel-Docklet is a GNOME Shell extension that acts as a dock or panel, showing minimized and active windows.Panel-Docklet has support for multiple screens, window-titles, workspaces, dragging, favorites.To install this extension you must have GNOME Shell...