Skip to content

Issues: UCSD-PL/vscode

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

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

Add Training Task to options LEAP Anything specifically about LEAP. web
#55 opened Mar 17, 2023 by michaelbjames
Escape should close run panel enhancement New feature or request LEAP Anything specifically about LEAP. web
#51 opened Mar 13, 2023 by michaelbjames
LEAP Logging infrastructure LEAP Anything specifically about LEAP. urgent
#49 opened Mar 12, 2023 by KasraF
LEAP Panel sometimes becomes empty LEAP Anything specifically about LEAP. tmpfix
#48 opened Mar 10, 2023 by KasraF
Softwrap is unclear and awkward enhancement New feature or request LEAP Anything specifically about LEAP. web
#42 opened Mar 3, 2023 by michaelbjames
PBs with lambdas enhancement New feature or request PB
#41 opened Mar 3, 2023 by michaelbjames
Spurious rv variable in Projection Boxes? bug Something isn't working PB
#39 opened Mar 3, 2023 by KasraF
Weird padding at the bottom of matplotlib plot bug Something isn't working PB
#33 opened Mar 2, 2023 by KasraF
Request: new PB mode showing one plot at a time. enhancement New feature or request LEAP Anything specifically about LEAP. PB web
#26 opened Feb 24, 2023 by michaelbjames
Visual cues when a snippet is selected enhancement New feature or request LEAP Anything specifically about LEAP.
#10 opened Feb 3, 2023 by rlisahuang
Tracking edit history on synth'd snippets enhancement New feature or request LEAP Anything specifically about LEAP.
#7 opened Feb 3, 2023 by rlisahuang
Keep cursor position attached if exiting exploration after code edits enhancement New feature or request LEAP Anything specifically about LEAP.
#5 opened Feb 3, 2023 by rlisahuang
ProTip! Exclude everything labeled bug with -label:bug.