-
Notifications
You must be signed in to change notification settings - Fork 29k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Add editor encoding api #177434
base: main
Are you sure you want to change the base?
Add editor encoding api #177434
Conversation
Is there any chance to merge this PR? |
ping for merge |
04cc224
to
fe87303
Compare
Is there any chance to merge this PR? |
Bump pull request |
We also asked for the very same thing and proposed to implement a PR like this here It would be really good to know if this has some possibility to be merged or if there is any other reason to not merge it. |
ping for merge |
src/vs/workbench/services/extensions/common/extensionsApiProposals.ts
Outdated
Show resolved
Hide resolved
b8aef29
to
4b45369
Compare
Nice to see you still maintaining this pr. I hope someone will finally merge this soon. |
see #824