Fixes for the delete annotations dialog - Githubissues

kit-sdq / programming-lecture-eclipse-artemis

Eclipse-Plugin for grading with the artemis project

Eclipse Public License 2.0

12 stars 7 forks source link

Fixes for the delete annotations dialog #319

Closed Feuermagier closed 1 year ago

Feuermagier commented 1 year ago

Checklist

[x] I tested all changes and their related features locally or with a test instance of Artemis.
[x] I documented the Java code using JavaDoc style.

Motivation and Context

Allows backspace for deleting annotations
No longer closes the dialog after deleting an annotation
Only shows annotations in the current file and not all annotations that span the current line, but are in other files

Description

Steps for Testing