Renaming a Character Glyph fails
justvanrossum opened this issue · comments
RoboCJK renames a glyph by:
- creating a new glyph with the old data
- deleting the old glyph
The last step currently fails, because the lock cannot be acquired. After this the glyph exists twice in the database.
From the Python output window (when trying to rename uni0065
to e
):
uni0065 e
Couldn't acquire the lock for glyph uni0065
This is fixed, I made a pull requests