pinned tabs separate row (#193081)

* pinned tabs separate row

* fix don't showTabs bugs

* cleanup

* import groupview not groupmodel

* cleanup

* add test cases

* support last editor of other bar drop effect

* get correct height

* Fix bugs

* cleanup, css solutions for hiding actions

* runtime editorindex lookup

* remove empty line

* fix actionbar visibility on startup

* fix tests

* fixes

* fix css

* comment

* fix tests

* remove need for `forceSticky`

* fix move to end of sticky tab

* 💄

* reuse options on drop

* 💄

* 💄

* 💄

* 💄

* tests and efficient contains(), indexOf() lookup

* rename filtered model file

---------

Co-authored-by: Benjamin Pasero <benjamin.pasero@microsoft.com>
This commit is contained in:
Benjamin Simmonds
2023-09-21 11:56:27 +02:00
committed by GitHub
parent d8dc6e6a13
commit e0e13e4ff8
16 changed files with 1527 additions and 277 deletions

View File

@@ -182,6 +182,11 @@ const registry = Registry.as<IConfigurationRegistry>(ConfigurationExtensions.Con
],
'markdownDescription': localize({ comment: ['This is the description for a setting. Values surrounded by single quotes are not to be translated.'], key: 'pinnedTabSizing' }, "Controls the size of pinned editor tabs. Pinned tabs are sorted to the beginning of all opened tabs and typically do not close until unpinned. This value is ignored when `#workbench.editor.showTabs#` is disabled.")
},
'workbench.editor.pinnedTabsOnSeparateRow': {
'type': 'boolean',
'default': false,
'markdownDescription': localize('workbench.editor.pinnedTabsOnSeparateRow', "When enabled, displays pinned tabs in a separate row above all other tabs. This value is ignored when `#workbench.editor.showTabs#` is disabled."),
},
'workbench.editor.preventPinnedEditorClose': {
'type': 'string',
'enum': ['keyboardAndMouse', 'keyboard', 'mouse', 'never'],