diff options
author | Hans Hagen <pragma@wxs.nl> | 2023-05-07 16:54:07 +0200 |
---|---|---|
committer | Context Git Mirror Bot <phg@phi-gamma.net> | 2023-05-07 16:54:07 +0200 |
commit | 51156ffe8b1434d9c1896f12a59554cbe877ee3d (patch) | |
tree | 9b7f63933469eb41dadca4825da317d1c2839990 /scripts/context/lua/mtx-ctan.lua | |
parent | cc6d486ffa3fad4ffb698ad5ccbd5c5f4ebc6a00 (diff) | |
download | context-51156ffe8b1434d9c1896f12a59554cbe877ee3d.tar.gz |
2023-05-07 16:28:00
Diffstat (limited to 'scripts/context/lua/mtx-ctan.lua')
-rw-r--r-- | scripts/context/lua/mtx-ctan.lua | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/context/lua/mtx-ctan.lua b/scripts/context/lua/mtx-ctan.lua index 6de51caa3..7603e363b 100644 --- a/scripts/context/lua/mtx-ctan.lua +++ b/scripts/context/lua/mtx-ctan.lua @@ -141,6 +141,7 @@ end local function checkedpattern(pattern) if pattern then + pattern = string.topattern(pattern,true) return lower(shaped(pattern)) end end @@ -291,7 +292,7 @@ scripts.ctan.topics = json and found[#found+1] = { key or name, details } end else - if strfound(pattern,name) or strfound(pattern,details) then + if strfound(pattern,key or name) or strfound(pattern,details) then found[#found+1] = { key or name, details } end end |