Commit 1e9b443
Breakpoint frontend (#3702)
* stepper: add breakpoint navigation
* Fix formatting in stepper breakpoint navigation
* Fix syntax highlighting in mobile stepper
* Remove unrelated changes from breakpoint PR
* Handles Breakpoints
Co-Authored-by: Kin Chong wongkinchong75@gmail.com
* Handles Breakpoints
Co-Authored-by: Kin Chong wongkinchong75@gmail.com
* Fix Formatting issues
* Reverting js-slang
* fix issues
* bumping js-slang to get the breakpoints to work in stepper
* Addressing gemini-bot
* Addressing integrity issues
---------
Co-authored-by: wkc75 <wongkinchong75@gmail.com>
Co-authored-by: Martin Henz <henz@comp.nus.edu.sg>1 parent 4f96c35 commit 1e9b443
11 files changed
Lines changed: 10813 additions & 2018 deletions
File tree
- public
- evaluators
- pie-slang
- py-slang
- src
- commons/sideContent/content
- styles
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
29 | 29 | | |
30 | 30 | | |
31 | 31 | | |
32 | | - | |
33 | 32 | | |
34 | 33 | | |
35 | 34 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
69 | 69 | | |
70 | 70 | | |
71 | 71 | | |
72 | | - | |
| 72 | + | |
73 | 73 | | |
74 | 74 | | |
75 | 75 | | |
| |||
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
0 commit comments