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

let user click in the output to set a breakpoint #108

Open
nikomatsakis opened this issue Feb 4, 2022 · 0 comments
Open

let user click in the output to set a breakpoint #108

nikomatsakis opened this issue Feb 4, 2022 · 0 comments
Labels
enhancement New feature or request playground Dada playground tasks (often involve JS/HTML/CSS)

Comments

@nikomatsakis
Copy link
Member

Once #106 lands, we have the ability to figure out the PC (and hence span in the source) for each piece of output. When the user clicks in the output window, we should make that set the breakpoint at the corresponding point and thus highlight the appropriate state at that moment in time.

One challenge (we can forego it for now) will be loops -- i.e., we would ideally select not just the right breakpoint (line/column) but the right instance of the breakpoint. We could track that by comparing the amount of text output at any particular time.

@nikomatsakis nikomatsakis added enhancement New feature or request playground Dada playground tasks (often involve JS/HTML/CSS) labels Feb 4, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request playground Dada playground tasks (often involve JS/HTML/CSS)
Projects
None yet
Development

No branches or pull requests

1 participant