-
Notifications
You must be signed in to change notification settings - Fork 1
Issues: DavidLeoni/jupman
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
Label
Projects
Milestones
Assignee
Sort
Issues list
Python Tutor: separate code from jupman.py
build
enhancement
PythonTutor
#160
opened Oct 1, 2023 by
DavidLeoni
python code blocks in bullet lists not rendered correctly
bug
markdown
ui
#150
opened Aug 12, 2023 by
DavidLeoni
Slides: find some way to highlight a fragment
enhancement
slides
ui
#147
opened Jul 31, 2023 by
DavidLeoni
Python Tutor: allow user to change layout
enhancement
PythonTutor
ui
#144
opened Jul 17, 2023 by
DavidLeoni
Python Tutor: Move credits over visualization
enhancement
PythonTutor
ui
#143
opened Jul 16, 2023 by
DavidLeoni
Buttons text shouldn't be selectable in Python Tutor
enhancement
PythonTutor
ui
#142
opened Jul 15, 2023 by
DavidLeoni
Python Tutor code panel is too large
enhancement
PythonTutor
slides
ui
#141
opened Jul 14, 2023 by
DavidLeoni
Previous Next
ProTip!
Find all open issues with in progress development work with linked:pr.