diff options
author | Hans Hagen <pragma@wxs.nl> | 2012-06-05 21:45:00 +0200 |
---|---|---|
committer | Hans Hagen <pragma@wxs.nl> | 2012-06-05 21:45:00 +0200 |
commit | 2a50db46043ea7113c18e87887c371552efd1af9 (patch) | |
tree | 361310c0fafb4cdf8c9849f22ef4c6bb44fd1e94 /tex/generic | |
parent | 51a2dad390d6229948b4366ad232c662c0e3ea8b (diff) | |
download | context-2a50db46043ea7113c18e87887c371552efd1af9.tar.gz |
beta 2012.06.05 21:45
Diffstat (limited to 'tex/generic')
-rw-r--r-- | tex/generic/context/luatex/luatex-fonts-merged.lua | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/tex/generic/context/luatex/luatex-fonts-merged.lua b/tex/generic/context/luatex/luatex-fonts-merged.lua index 46ff6c4c2..c77cd4626 100644 --- a/tex/generic/context/luatex/luatex-fonts-merged.lua +++ b/tex/generic/context/luatex/luatex-fonts-merged.lua @@ -1,6 +1,6 @@ -- merged file : luatex-fonts-merged.lua -- parent file : luatex-fonts.lua --- merge date : 06/05/12 17:36:46 +-- merge date : 06/05/12 21:45:24 do -- begin closure to overcome local limits and interference @@ -118,6 +118,11 @@ function string.topattern(str,lowercase,strict) end end + +function string.valid(str,default) + return (type(str) == "string" and str ~= "" and str) or default or nil +end + -- obsolete names: string.quote = string.quoted |