Add Change Manager Unmarking #6
Labels
No Label
1
13
2
21
3
34
5
55
8
bug
could have
documentation
duplicate
enhancement
help wanted
must have
question
should have
stale
wont have
L
M
S
XL
bug
bugfix
discussion
documentation
feature
maintenance
postponed
refactoring
wontfix
No Milestone
No Assignees
2 Participants
Total Time Spent: 2 minutes 41 seconds
Due Date
delvh
2 minutes 41 seconds
No due date set.
Dependencies
No dependencies set.
Reference: zdm/undo-redo#6
Loading…
Reference in New Issue
Block a user
No description provided.
Delete Branch "f/change-unmarking"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Additionally rename "marked index" to "marked change", as the index is only an internal data structure and not necessarily universal.