[chore, UX] Move some 'permanent' settings inside more_tools (#6282)

Err, kind of nitpick PR. Is just add some "permanent" menus other than plugins to the new "more_tools" submenu. So it will never be empty. Follow-up: #6279 Supersedes: #5512 #6092 Fixes: #5461
2025-08-10 00:52:38 +00:00 · 2020-06-19 20:40:40 +02:00
parent 83cde64bcc
commit 88feefe788
3 changed files with 11 additions and 10 deletions
--- a/frontend/ui/elements/common_info_menu_table.lua
+++ b/frontend/ui/elements/common_info_menu_table.lua
@@ -25,7 +25,7 @@ common_info.version = {
 common_info.help = {
    text = _("Help"),
 }
-common_info.more_plugins = {
+common_info.more_tools = {
    text = _("More tools"),
 }