[Minor] Settings: Treat settings section name as implicit id

diff --git a/src/plugins/lua/settings.lua b/src/plugins/lua/settings.lua
index 4535ab7b34ec3f427d01026dfe0a287651f3cb91..de30ada5af7bc682041366f0d9a8a5bf2b539ea1 100644 (file)
--- a/src/plugins/lua/settings.lua
+++ b/src/plugins/lua/settings.lua
@@ -712,6 +712,7 @@ local function process_settings_table(tbl)
 
     -- Now we must process actions
     if elt['symbols'] then out['symbols'] = elt['symbols'] end
+    if not elt.id then elt.id = name end
     if elt['id'] then
       out['id'] = elt['id']
       settings_ids[elt['id']] = out