Changed the heuristic to retrieve the title.
Try to move extension icons from the main toolbar into the tabbar.
Add a note for Usage by other extensions.
Move the code hints icon in the tabbar.
Correct the logic to select the active tab.
Retrieve the title from the panel, fallback to the id.
Correct style for current tab (add bottom border).
Use the id of the panel for the title of the tab.
Created an hack to avoid to see stacked panels.