Plugin manager (#4159)

Also adds descriptions to all plugins.
2025-08-10 00:52:38 +00:00 · 2018-08-17 20:54:11 +02:00
parent cd37535056
commit 4428ecb422
28 changed files with 160 additions and 22 deletions
--- a/frontend/ui/elements/reader_menu_order.lua
+++ b/frontend/ui/elements/reader_menu_order.lua
@@ -79,6 +79,7 @@ local order = {
        "text_editor",
        "----------------------------",
        "more_plugins",
+        "plugin_management",
    },
    more_plugins = {
        "auto_frontlight",