diff options
author | Philipp Gesang <phg42.2a@gmail.com> | 2014-08-10 14:36:13 +0200 |
---|---|---|
committer | Philipp Gesang <phg42.2a@gmail.com> | 2014-08-10 14:36:13 +0200 |
commit | fb374b76a6f7f66b300652ba12f40f0f28a1a9b5 (patch) | |
tree | 103a0f84d4e55473dd0307c7d7b65b8d2d55a775 /src/luaotfload-configuration.lua | |
parent | 32296e68a23ddb5f035e6991733466ea82231c95 (diff) | |
download | luaotfload-fb374b76a6f7f66b300652ba12f40f0f28a1a9b5.tar.gz |
[conf, main] add support for and preliminary implementation of verbose font definers
The definers ``info_patch`` and ``info_generic`` wrap the two existing
font definers in a function that emits verbose information about the
definitions taking place.
Diffstat (limited to 'src/luaotfload-configuration.lua')
-rw-r--r-- | src/luaotfload-configuration.lua | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/src/luaotfload-configuration.lua b/src/luaotfload-configuration.lua index ec38d90..a375c37 100644 --- a/src/luaotfload-configuration.lua +++ b/src/luaotfload-configuration.lua @@ -432,7 +432,14 @@ local option_spec = { definer = { in_t = string_t, out_t = string_t, - transform = function (d) return d == "generic" and d or "patch" end, + transform = function (d) + if d == "generic" or d == "patch" + or d == "info_generic" or d == "info_patch" + then + return d + end + return "patch" + end, }, log_level = { in_t = number_t, |