GitHub/Anki
1
0
Fork 0
mirror of https://github.com/ankitects/anki.git synced 2025-09-24 16:56:36 -04:00
Code Issues Projects Releases Packages 1 Wiki Activity Actions

fix bug in tag deletion

Browse source 
https://anki.tenderapp.com/discussions/ankidesktop/30146-removing-single-letter-tags-also-removes-any-other-tags-with-the-letter
This commit is contained in:
Damien Elmes 2018-10-07 18:21:51 +10:00
parent 943863d463
commit 5907629406
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
anki/tags.py
View file

@ -143,7 +143,7 @@ class TagManager:
"Delete tags if they exist."
def wildcard(pat, str):
pat = re.escape(pat).replace('\\*', '.*')
return re.search(pat, str, re.IGNORECASE)
return re.match("^"+pat+"$", str, re.IGNORECASE)
currentTags = self.split(tags)
for tag in self.split(deltags):
# find tags, ignoring case