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

Copy code fragment to clipboard #3532

Closed
BramDevlaminck opened this issue Apr 13, 2022 · 0 comments · Fixed by #4488
Closed

Copy code fragment to clipboard #3532

BramDevlaminck opened this issue Apr 13, 2022 · 0 comments · Fixed by #4488
Assignees
Labels
feature New feature or request medium priority Things we want to see implemented relatively soon

Comments

@BramDevlaminck
Copy link
Contributor

For a lot of exercises it is useful to copy code-fragments from the assignment to use them for testing.
This is especially handy in python where the given examples can easily be used in doctests.

However, some of these examples are very long on 1 line (see this example).

In this case it could be very handy to have a button in the top right of this code-block to just copy the whole codeblock to the clipboard.

This would be very similar to the implementation of code fragments in the documentation of some frameworks.
Small example from the prisma-documentation:
image

@BramDevlaminck BramDevlaminck added the feature New feature or request label Apr 13, 2022
@bmesuere bmesuere added this to Roadmap Apr 17, 2022
@bmesuere bmesuere moved this to Todo in Roadmap Apr 17, 2022
@bmesuere bmesuere moved this from Todo to Unplanned in Roadmap Apr 17, 2022
@bmesuere bmesuere added the medium priority Things we want to see implemented relatively soon label Jan 20, 2023
@bmesuere bmesuere moved this from Unplanned to Todo in Roadmap Jan 21, 2023
@jorg-vr jorg-vr self-assigned this Mar 16, 2023
@jorg-vr jorg-vr moved this from Todo to In Progress in Roadmap Mar 16, 2023
@github-project-automation github-project-automation bot moved this from In Progress to Done in Roadmap Mar 21, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
feature New feature or request medium priority Things we want to see implemented relatively soon
Projects
Status: Done
Development

Successfully merging a pull request may close this issue.

3 participants