Skip to content
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

Provide encoding property for editor extensions. #156039

Closed
ArcticLampyrid opened this issue Jul 23, 2022 · 3 comments
Closed

Provide encoding property for editor extensions. #156039

ArcticLampyrid opened this issue Jul 23, 2022 · 3 comments
Assignees
Labels
*duplicate Issue identified as a duplicate of another issue(s)

Comments

@ArcticLampyrid
Copy link

Provide encoding-related APIs for editor extensions.
At least we should add a simple read-only encoding property to TextDocument.
It seems easy since the encoding is already displayed in VSCode's status bar.

This is a simplified #824, but I believe it's needed to reopen an issue,
as most developers are not focusing on old issues.

@jrieken
Copy link
Member

jrieken commented Aug 16, 2022

/duplicate of #824

@vscodenpa vscodenpa added the *duplicate Issue identified as a duplicate of another issue(s) label Aug 16, 2022
@vscodenpa
Copy link

Thanks for creating this issue! We figured it's covering the same as another one we already have. Thus, we closed this one as a duplicate. You can search for similar existing issues. See also our issue reporting guidelines.

Happy Coding!

@vscodenpa vscodenpa closed this as not planned Won't fix, can't repro, duplicate, stale Aug 16, 2022
@ArcticLampyrid
Copy link
Author

/duplicate of #824

So any progress?

@github-actions github-actions bot locked and limited conversation to collaborators Sep 30, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
*duplicate Issue identified as a duplicate of another issue(s)
Projects
None yet
Development

No branches or pull requests

3 participants