A dock for the Gnome Shell. This extension moves the dash out of the overview transforming it in a dock for an easier launching of applications and a faster switching between windows and desktops.
There are options to hide the dock to show maximized, or focused windows. Can there be an option to only hide the dock for maximized AND focused windows?
There are options to hide the dock to show maximized, or focused windows. Can there be an option to only hide the dock for maximized AND focused windows?
Thanks!