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

Enable extension in browser environments #286

Merged
merged 1 commit into from
Apr 28, 2023

Conversation

afonsonf
Copy link
Contributor

@afonsonf afonsonf commented Apr 25, 2023

Hi, in this PR the extension is enabled for web environments such as vscode.dev and github.dev.

This is done by creating a new entrypoint for the extension where only a subset of the features is enabled, namely:

  • code highlighting
  • code completion
  • code definitions navigation

Changed to use npm compile instead of npm watch in extension debugging because to load changes the instance needs to be reload (does not reload automatically) and compile seems to work better and may solve this: #283 (comment)

References

@afonsonf afonsonf changed the title Enable extension in the web Enable extension in web environments Apr 25, 2023
@lemmy
Copy link
Member

lemmy commented Apr 26, 2023

LGTM

@afonsonf
Copy link
Contributor Author

I will try to fix the not working features this weekend, if I'm not able to do it, I'll clean up the MR to only include the highlighting to not block it to be enabled

@afonsonf afonsonf force-pushed the enable-extension-in-the-web branch from 071a351 to eb19a99 Compare April 28, 2023 22:02
@afonsonf afonsonf changed the title Enable extension in web environments Enable extension in browser environments Apr 28, 2023
@afonsonf
Copy link
Contributor Author

afonsonf commented Apr 28, 2023

Got it working, it was the document selector, for some reason in the browser it was not working for enabling the language features, so I changed it to use directly the language id strings. Also clean up the MR and removed the refactoring to have less changes

@afonsonf afonsonf marked this pull request as ready for review April 28, 2023 22:14
Signed-off-by: Afonso Fernandes <21228942+afonsonf@users.noreply.github.com>
@afonsonf afonsonf force-pushed the enable-extension-in-the-web branch from eb19a99 to 3cd4d47 Compare April 28, 2023 22:23
@afonsonf afonsonf requested a review from lemmy April 28, 2023 22:44
Copy link
Member

@lemmy lemmy left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@afonsonf afonsonf merged commit f73def5 into tlaplus:master Apr 28, 2023
@lemmy
Copy link
Member

lemmy commented Apr 28, 2023

Do we have to separately add the browser-version to the VSCode marketplace?

@afonsonf
Copy link
Contributor Author

afonsonf commented Apr 28, 2023

I don't think so, we can trigger the nightly release and check if the new one works

@lemmy
Copy link
Member

lemmy commented Apr 28, 2023

@lemmy
Copy link
Member

lemmy commented Apr 28, 2023

Works like a charm, nicely done!
Screenshot 2023-04-28 at 4 42 55 PM

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants