[feat, plugin] Vocabulary builder (#9132)

Made the old dictionary lookup history into a flashcard-ish vocabulary builder.
2025-08-10 00:52:38 +00:00 · 2022-06-01 04:11:35 +08:00
parent 5a033f1221
commit e1b137339c
7 changed files with 1451 additions and 7 deletions
--- a/frontend/ui/elements/reader_menu_order.lua
+++ b/frontend/ui/elements/reader_menu_order.lua
@@ -187,6 +187,7 @@ local order = {
    search = {
        "dictionary_lookup",
        "dictionary_lookup_history",
+        "vocabulary_builder",
        "dictionary_settings",
        "----------------------------",
        "wikipedia_lookup",