Description
Minimize shelf in the top panel, with minimized windows of the current workspace.
Minimize shelf in the top panel, with minimized windows of the current workspace.
No settings but you can easily play around with CSS file. This extension is light and should not interfere with GNOME Shell behaviour+logic.