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.

Sign up for GitHub

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

Jump to bottom

[FEATURE] - Support GitHub.dev #130

Open
alefragnani opened this issue Mar 12, 2022 · 3 comments · Fixed by #134
Open

[FEATURE] - Support GitHub.dev #130

alefragnani opened this issue Mar 12, 2022 · 3 comments · Fixed by #134
Assignees
@alefragnani
Labels
depends on enhancement vscode api adoption Adopting new/updated VS Code APIs
Milestone
Backlog

Comments

@alefragnani
Copy link
Owner

https://github.com/microsoft/vscode-docs/blob/vnext/api/extension-guides/web-extensions.md
@alefragnani alefragnani added enhancement vscode api adoption Adopting new/updated VS Code APIs labels Mar 12, 2022
@alefragnani alefragnani self-assigned this Mar 12, 2022
@alefragnani alefragnani added this to the March 2022 milestone Mar 12, 2022
alefragnani added a commit that referenced this issue Apr 7, 2022
@alefragnani
Add web support (WIP - Refs #130)
30b9551
@alefragnani alefragnani mentioned this issue Apr 7, 2022
Merged
@alefragnani
Copy link
Owner Author

Depends on microsoft/vscode#146868

@alefragnani
Copy link
Owner Author

Reopening, because I noticed an issue while opening different local folders

Depends on microsoft/vscode#146868

@alefragnani alefragnani reopened this Apr 14, 2022
@alefragnani
Copy link
Owner Author

I'll postpone this feature, with no ETA.

Not only because the activation issue described above (which I could fix in the desktop), but also the difficulty in debug on the web, specially the out of sync breakpoints.

I'll come back to this regularly, but it is not a priority.

@alefragnani alefragnani modified the milestones: March 2022, Backlog Apr 16, 2022
@alefragnani alefragnani mentioned this issue Apr 16, 2022
Open
@alefragnani alefragnani mentioned this issue May 6, 2022
Merged
@alefragnani alefragnani mentioned this issue Dec 15, 2022
Closed
@cssyphus cssyphus mentioned this issue Dec 16, 2022
Open
@alefragnani alefragnani mentioned this issue Sep 8, 2024
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@alefragnani alefragnani

Labels
depends on enhancement vscode api adoption Adopting new/updated VS Code APIs
Projects
None yet
Milestone
Backlog
Development

Successfully merging a pull request may close this issue.

Features/support web alefragnani/vscode-numbered-bookmarks
1 participant
@alefragnani