mirror of
https://github.com/ankitects/anki.git
synced 2025-11-06 12:47:11 -05:00
ce2f4136ea
* Empty cards is undoable If there was a reason for this operation not to be undoable, I can't easily guess it. My main hyposhesis was that the number of deleted card may be too big. But I realized that deleting a deck is undoable and may delete as many note. As you may know, I realized that only the undoable operations triggered notification in AnkiDroid that we may have to update the UI. And while I just wanted to trigger more notifications, some reviewers thought it would be nicer if the operation were returning a OpChanges. So here it's done. If you would please consider merging it. I decided to introduce a new string because the closest strings I could find currently are "Empty cards..." and the trailing commas don't seem nice in "undo". And the title, which we may not be able to reuse in all language * Don't count cards that have already been removed (dae) |
||
|---|---|---|
| .. | ||
| core | ||
| core-repo@ababc05c46 | ||
| qt | ||
| qt-repo@8cc8e3447c | ||
| src | ||
| usage | ||
| .gitignore | ||
| Cargo.toml | ||
| copy-core-string.sh | ||
| extract-strings.py | ||
| format.py | ||
| format_check.py | ||
| ftl | ||
| move-from-ankimobile | ||
| README.md | ||
| remove-unused.sh | ||
| update-ankidroid-usage.sh | ||
| update-ankimobile-usage.sh | ||
Files related to Anki's translations.