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

Xtext: opening generated editor in a new tab breaks it #24

Open
szschaler opened this issue Nov 29, 2023 · 0 comments
Open

Xtext: opening generated editor in a new tab breaks it #24

szschaler opened this issue Nov 29, 2023 · 0 comments
Labels
bug Something isn't working

Comments

@szschaler
Copy link
Contributor

When generating an editor from a grammar, that editor can currently only be used from within the same browser tab. Opening the generated link in a new browser tab breaks things: the platform shows the correct configuration of panels, but the Xtext editor panel is not associated with correct grammar information -- there's no highlighting and no code completion.
@szschaler szschaler added the bug Something isn't working label Nov 29, 2023
@szschaler szschaler moved this from Todo to Bugs in Education Platform Nov 29, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Something isn't working
Projects
Education Platform
Status: Bugs
Milestone
No milestone
Development

No branches or pull requests
1 participant
@szschaler