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.