Show terminal tab selection

[junaga]

I use Terminal tabs, which are enabled with this setting.

{
  "terminal.integrated.defaultLocation": "editor"
}

they look like this, and are not recognized by the plugin.

[junaga]

@leonardssh