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

Issue Tracker: Refactor buffer manager #1262

Open
3 of 6 tasks
theol0403 opened this issue Jul 4, 2023 · 3 comments
Open
3 of 6 tasks

Issue Tracker: Refactor buffer manager #1262

theol0403 opened this issue Jul 4, 2023 · 3 comments
Assignees
Labels
bug Something isn't working manager: buffer priority

Comments

@theol0403
Copy link
Member

theol0403 commented Jul 4, 2023

Currently, external buffers are not supported, as well as switching between upper case marks and jumplist.

Issues:

@theol0403 theol0403 added bug Something isn't working priority labels Jul 4, 2023
@theol0403 theol0403 self-assigned this Jul 4, 2023
@theol0403 theol0403 changed the title Issue Tracker: Fix external buffers Issue Tracker: Refactor buffer manager Jul 5, 2023
@ian-h-chamberlain
Copy link
Contributor

@theol0403 I see there doesn't appear to be an issue for there is new readonly vscode API for external buffers. Would you like me to create one?

I started a proof-of-concept for making external buffers use the TextDocumentContentProvider API, which is what I assume this is referring to. I'm happy to work on a PR if that's the intended direction (and can discuss implementation details, design etc. on a new issue if that's the idea).

@theol0403
Copy link
Member Author

@ian-h-chamberlain go for it, PRs always welcome!

@ian-h-chamberlain
Copy link
Contributor

Created #1432 if you want to link it in the body of this issue

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working manager: buffer priority
Projects
Status: Todo
Development

No branches or pull requests

2 participants