weijiuqiao 18db85ea0d [plugin] Vocabulary builder bugfix and quick word deletion (#9168) ...

This PR fixes the bug #9162 caused by unsafe db operation and adds an edit mode for quick deletion of words requested at #9132 (comment)

2022-06-04 14:54:58 +02:00

..

_meta.lua

[feat, plugin] Vocabulary builder (#9132)

2022-05-31 22:11:35 +02:00

db.lua

[plugin] Vocabulary builder bugfix and quick word deletion (#9168)

2022-06-04 14:54:58 +02:00

main.lua

[plugin] Vocabulary builder bugfix and quick word deletion (#9168)

2022-06-04 14:54:58 +02:00