From 38bee248b223d279c9294cd8944e32a9a0867db0 Mon Sep 17 00:00:00 2001 From: Vsevolod Stakhov Date: Sat, 23 May 2020 20:47:54 +0100 Subject: [PATCH] [Minor] Try to deal with empty symbols_enabled/disabled --- lualib/lua_settings.lua | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lualib/lua_settings.lua b/lualib/lua_settings.lua index bb0ea04576..c8a0baf4d4 100644 --- a/lualib/lua_settings.lua +++ b/lualib/lua_settings.lua @@ -57,10 +57,10 @@ local function register_settings_cb() if s.symbols_enabled then -- Remove all symbols from set.symbols aside of explicit_disable symbols set.symbols = lua_util.list_to_hash(explicit_symbols) + seen_enabled = true for _,sym in ipairs(s.symbols_enabled) do enabled_symbols[sym] = true set.symbols[sym] = true - seen_enabled = true end end if s.groups_enabled then @@ -79,10 +79,10 @@ local function register_settings_cb() -- Disabled map if s.symbols_disabled then + seen_disabled = true for _,sym in ipairs(s.symbols_disabled) do disabled_symbols[sym] = true set.symbols[sym] = false - seen_disabled = true end end if s.groups_disabled then -- 2.47.3