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

make sure to save on group delete

Browse source
This commit is contained in:
Damien Elmes 2011-10-22 21:04:57 +09:00
parent b9dc5764a3
commit 716684edae
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
anki/groups.py
View file

@ -146,6 +146,7 @@ class GroupManager(object):
# delete the group and add a grave
del self.groups[str(gid)]
self.deck._logRem([gid], REM_GROUP)
self.save()
def allNames(self):
"An unsorted list of all group names."