Module tabmenu
Switch tabs using a menu widget
This module adds a command which lists all open tabs.
Properties
tabmenu.hide_box
Type: boolean
Default:
false
Read-write
Whether the tab menu is displayed or not.