Window List extension does not give option for auto hiding
Auto-hiding/Intellihide should be a standard option/feature much as it is in most task-bars. This is also one of the most commonly mentioned things in the extension's comments section (https://extensions.gnome.org/extension/602/window-list/), along with the ability to move tabs around to reorder.