Allow to hide editor title section entirely (tabs, breadcrumbs)

[faustinoaq]

• VSCode Version: 1.15.0
• OS Version: Manjaro Linux x64 Gellivara

Steps to Reproduce:

1. Configure settings.json

{
  "workbench.editor.showTabs": false
}

2. Tabs are hidden but tabs section still fill the space.

Reproduces without extensions: Yes

Some captures:

1. Face to face with Vim

2. Proposed setting:

{
  "workbench.editor.showTabs": "none | one | all"
}

With "workbench.editor.showTabs": "none" then

[fabiospampinato]

I think you might achieve what you want today via a third party extension and some custom CSS.

[faustinoaq]

This extension modifies some VS Code files so use it at your own risk.

Yes, Custom CSS and JS Loader is useful and risky.

[cpxPratik]

Also is there any way to shorten height of tabs (file's tab headings), ? Tabs are noticeably tall and waste screen space. I can't find issue related to it. Surely, someone must have notice it.

[fabiospampinato]

@faustinoaq there's actually barely any risk involved with it. In case anything breaks a simple re-installation of VSC would fix it.

@cpxPratik Unless they fix #459 the only option remains to use the extension.