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

Repeat last annotation #72

Open
bjthehun opened this issue Oct 23, 2024 · 2 comments
Open

Repeat last annotation #72

bjthehun opened this issue Oct 23, 2024 · 2 comments

Comments

@bjthehun
Copy link

Sometimes, I encounter multiple mistakes of the same type repeatedly in a source file. For those, I can repeat both the mistake time and custom message.

Right now, I need to click on the annotation type, then double-click on the comment, then copy over or retype the message. I want to do that in only one step.

@dfuchss
Copy link
Member

dfuchss commented Oct 25, 2024

Related to #26

@Luro02
Copy link
Collaborator

Luro02 commented Jan 30, 2025

Instead of only repeating the last annotation, how about combining this with #26? In addition to being able to create custom buttons, the tool will automatically keep track of the last X custom annotations that have been made. For each it will create a temporary custom button. The oldest custom button will vanish, when more than X have been created. Pressing a button will move it to the beginning, so frequently used custom buttons don't disappear.

In addition to that, one can right-click the button and make it a permanent custom button that will not disappear. To do that, one would have to give it a short name.

Why the limit? There is only a limited amount of visible space for buttons.

Some things to consider

  • Autograder Annotations should be ignored
  • Annotations created through existing custom buttons should be ignored
  • Ignore duplicate custom annotations
  • Maybe make X dynamic, depending on how much space is available? (Might be too complicated)
  • Preserve them across submissions?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants