Display a custom button in the tab header panel (Tabbed MDI Manager). - View it on GitHub