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

Provide a better ordering for saved annotations #4994

Open
jorg-vr opened this issue Sep 21, 2023 · 0 comments
Open

Provide a better ordering for saved annotations #4994

jorg-vr opened this issue Sep 21, 2023 · 0 comments
Labels
enhancement A change that isn't substantial enough to be called a feature

Comments

@jorg-vr
Copy link
Contributor

jorg-vr commented Sep 21, 2023

We can be smarter about the ordering of saved annotation search results.
@chvp is currently researching advanced techniques to provide the best option for this.

This issue exists to remind us to implement these techniques in Dodona once finished, or use a simple heuristic if the research results are too complex or unsatisfying to implement.
@jorg-vr jorg-vr added the enhancement A change that isn't substantial enough to be called a feature label Sep 21, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement A change that isn't substantial enough to be called a feature
Projects
Roadmap
Status: Unplanned
Milestone
No milestone
Development

No branches or pull requests
1 participant
@jorg-vr