From c3b4921c3696fb9055cbb4f3f080aec7a4ca5984 Mon Sep 17 00:00:00 2001 From: Vsevolod Stakhov Date: Mon, 17 Sep 2018 15:36:41 +0100 Subject: [PATCH] [Minor] Allow spaces and stars as separators in selectors --- lualib/lua_selectors.lua | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lualib/lua_selectors.lua b/lualib/lua_selectors.lua index 3a7a3207f2..2e0e593327 100644 --- 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"; -- 2.47.3