Skip to content

[ext-api] provide Pseudoterminal.onDidChangeName event #114898

@akosyakov

Description

@akosyakov

Current it is not possible to change the name of the pseudo terminal implemented by the extension.

Metadata

Metadata

Labels

apiapi-finalizationfeature-requestRequest for new features or functionalityhelp wantedIssues identified as good community contribution opportunitieson-release-notesIssue/pull request mentioned in release noteson-testplan

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions