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

VSCode "Show message graph" CodeLens is broken #1307

Closed
brownts opened this issue Jan 6, 2025 · 1 comment
Closed

VSCode "Show message graph" CodeLens is broken #1307

brownts opened this issue Jan 6, 2025 · 1 comment
Labels
bug

Comments

@brownts
Copy link

brownts commented Jan 6, 2025

When clicking on the "Show message graph" in the VSCode editor, I'm expecting the corresponding message graph to be displayed. Instead nothing happens.

This appears to be due to commit b9d3571 which changed the cache directory, but overlooked updating the cache path for the VSCode extension. Thus, the server places the rendered graphs here, but the VSCode extension is expecting them here.
@brownts brownts added the bug label Jan 6, 2025
adacore-bot pushed a commit that referenced this issue Jan 7, 2025
@treiher
Fix display of message graphs in VS Code
4806578 
Ref. eng/recordflux/RecordFlux#1838, #1307
@treiher
Copy link
Collaborator

treiher commented Jan 7, 2025

This has been fixed in 4806578. Thanks for the detailed report!

@treiher treiher closed this as completed Jan 7, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@treiher @brownts