[Minor] Allow spaces and stars as separators in selectors

diff --git a/lualib/lua_selectors.lua b/lualib/lua_selectors.lua
index 3a7a3207f29efa3e050021fd5696d52a2386bfa8..2e0e593327c555e3c9977da9d024a7362ad4c7c1 100644 (file)
--- a/lualib/lua_selectors.lua
+++ b/lualib/lua_selectors.lua
@@ -657,7 +657,7 @@ local function make_grammar()
   local obrace = "(" * spc
   local ebrace = spc * ")"
   local comma = spc * "," * spc
-  local sel_separator = l.S":;"
+  local sel_separator = spc * l.S":;*" * spc
 
   return l.P{
     "LIST";