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

Remove old duplicate edit note #812

Closed
jesus2099 opened this issue Feb 18, 2024 · 0 comments
Closed

Remove old duplicate edit note #812

jesus2099 opened this issue Feb 18, 2024 · 0 comments

Comments

@jesus2099
Copy link
Owner

jesus2099 commented Feb 18, 2024

If loose same edit note is found in history: delete old existing one.

Removing the old rather than the new, allows to bubble this note up to first position (as last used, it makes sense).

It requires a delete function that shifts right-side remaining notes.
This delete function could be also useful for the old @5moufl forget feature.

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

No branches or pull requests

1 participant