Add isSelected property to editor tabs in the extension development API

[standard-software]

I have developed an extension that retrieves file paths from the context menu of editor tabs.

Copy Tabs FilePath - Visual Studio Marketplace

Initially, I was planning to create something that could retrieve file paths from multiple selected tabs, but when I found out that this wasn't possible, I had to change the direction of the project.

VS Code has supported multiple tab selection since version 1.90.
May 2024

However, as an interface for extensions, there is no isSelected property, so it's not possible to detect the state when multiple tabs are selected.

VS Code API | Visual Studio Code Extension API
https://code.visualstudio.com/api/references/vscode-api#Tab

I would like you to provide an isSelected property in the Tab interface.
Thank you for your consideration.

[ArturoDent]

I note that built-in commands like workbench.action.copyEditorToNewWindow are able to get all the currently selected tabs in a group so vscode can do this.

My use case is for an extension that allows you to search within the selected tab only (it fills the "files to include" input). But currently this only gets the one tab that is the "primary" selection - i.e., the one with the context menu revealed.