Stub `registerMappedEditProvider` - Githubissues

eclipse-theia / theia

Eclipse Theia is a cloud & desktop IDE framework implemented in TypeScript.

http://theia-ide.org

Eclipse Public License 2.0

19.84k stars 2.48k forks source link

Stub `registerMappedEditProvider` #13681

Closed tsmaeder closed 3 months ago

tsmaeder commented 3 months ago

What it does

Stub registerMappedEditProvider

Fixes #13649

Contributed on behalf of STMicroelectronics

How to test

Start Theia with the 1.88.1 typescript-language-features extensions
Open a typescript file
Observe: you should not get an exception about registerMappedEditProviderbeing undefined

Follow-ups

Review checklist

[x] As an author, I have thoroughly tested my changes and carefully followed the review guidelines

Reminder for reviewers

As a reviewer, I agree to behave in accordance with the review guidelines