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

Add a shortcut to run generate and reload the kernel #7

Open
nim65s opened this issue Jul 26, 2023 · 2 comments · May be fixed by #30
Open

Add a shortcut to run generate and reload the kernel #7

nim65s opened this issue Jul 26, 2023 · 2 comments · May be fixed by #30

Comments

@nim65s
Copy link
Member

nim65s commented Jul 26, 2023

No description provided.

@TheoMF
Copy link
Contributor

TheoMF commented Jul 31, 2023

should it be a new @line_magic in the magic.py file ?

@nim65s
Copy link
Member Author

nim65s commented Aug 1, 2023

I am not sure, I don't remember how we can add keystroke shortcuts in jupyter. Maybe this is only a user configuration setting, and in this case we'll only have to document what to add and where

TheoMF added a commit to TheoMF/gepetuto that referenced this issue Aug 7, 2023
@TheoMF
keyboard customization in readme
71d82cb 
fix Gepetto#7
@TheoMF TheoMF linked a pull request Aug 7, 2023 that will close this issue
Open
TheoMF added a commit to TheoMF/gepetuto that referenced this issue Aug 7, 2023
@TheoMF
keyboard customization in readme
b8f827d 
fix Gepetto#7
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

keyboard customization in readme TheoMF/gepetuto
2 participants
@nim65s @TheoMF