diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2014-05-15 22:41:12 +0200 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2014-05-15 22:41:12 +0200 |
| commit | d435ea827827dcb4494ddff8583e5b15d27625b4 (patch) | |
| tree | 84576514c6a416c89ad560a00c6f36991382c40c /src | |
| parent | d167ce3c9134150a2da2287f162e56690995419e (diff) | |
| download | luaotfload-d435ea827827dcb4494ddff8583e5b15d27625b4.tar.gz | |
[conf] use default formats if variable empty
Diffstat (limited to 'src')
| -rw-r--r-- | src/luaotfload-configuration.lua | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/luaotfload-configuration.lua b/src/luaotfload-configuration.lua index c806915..db42f99 100644 --- a/src/luaotfload-configuration.lua +++ b/src/luaotfload-configuration.lua @@ -167,7 +167,11 @@ end local set_font_filter = function () local names = fonts.names if names and names.set_font_filter then - names.set_font_filter (config.luaotfload.db.formats) + local formats = config.luaotfload.db.formats + if not formats or formats == "" then + formats = default_config.db.formats + end + names.set_font_filter (formats) end return true end |