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

Run code keyboard shortcut #3564

Closed
jay-tux opened this issue Apr 25, 2022 · 3 comments · Fixed by #5646
Closed

Run code keyboard shortcut #3564

jay-tux opened this issue Apr 25, 2022 · 3 comments · Fixed by #5646
Assignees
Labels
feature New feature or request low priority Thing we want to see implemented at some point

Comments

@jay-tux
Copy link

jay-tux commented Apr 25, 2022

It would (in my opinion) be quite helpful if it were possible to run code with a simple shortcut from the keyboard. After developing locally (using an IDE, ...), we could then just copy-paste our code into the Dodona input field, then hit the shortcut (as we have our fingers already on the Ctrl-V keys).

I suggest the combination Ctrl-Enter (which is the same as Github uses for submission and I believe quite a few others).

@jay-tux jay-tux added the feature New feature or request label Apr 25, 2022
@bmesuere bmesuere moved this to Unplanned in Roadmap Apr 25, 2022
@bmesuere bmesuere added this to Roadmap Apr 25, 2022
@BTWS2
Copy link
Contributor

BTWS2 commented Apr 28, 2022

There is an extension available for VS Code and a plugin for JetBrains IDE's (e.g. PyCharm). This allows for a seamless experience with customizable shortcuts. Documentation is available here:

Which IDE are you using?

I agree that a shortcut to submit would be a good addition though.

@jay-tux
Copy link
Author

jay-tux commented Apr 28, 2022

I usually use github's Atom editor.

@bmesuere
Copy link
Member

At the moment we don't support shortcuts at all. If we see this as a general shortcut, #2817 is related.
If we see this as an ACE editor addition, #3332 is related. We must however be cautious that we don't trigger accident hand-ins or bind to an existing ACE shortcut.

@bmesuere bmesuere added the low priority Thing we want to see implemented at some point label Jan 27, 2023
@bmesuere bmesuere moved this from Unplanned to Todo in Roadmap Jan 27, 2023
@jorg-vr jorg-vr self-assigned this Jun 25, 2024
@github-project-automation github-project-automation bot moved this from Todo to Done in Roadmap Jun 26, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
feature New feature or request low priority Thing we want to see implemented at some point
Projects
Status: Done
Development

Successfully merging a pull request may close this issue.

4 participants