Skip to content

Public API for exposing environments to other extensions #17234

Closed
Closed
Public API for exposing environments to other extensions#17234
Assignees
karthiknadig
Labels
area-editor-*User-facing catch-allfeature-requestRequest for new features or functionalityneeds spikeLabel for issues that need investigation before they can be worked on.verifiedVerification succeeded
Milestone
September 2021
@karthiknadig

Description

@karthiknadig
karthiknadig
opened on Sep 1, 2021

Investigate and see which of these should we provide via Public API:

  • API to provide list of currently known environments
  • Event to indicate a change in environment
  • API to refresh environment list
  • API to set interpreter.

Metadata

Metadata

Assignees

Labels

area-editor-*User-facing catch-allfeature-requestRequest for new features or functionalityneeds spikeLabel for issues that need investigation before they can be worked on.verifiedVerification succeeded

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions