diff options
author | Philipp Gesang <phg@phi-gamma.net> | 2016-04-08 23:54:04 +0200 |
---|---|---|
committer | Philipp Gesang <phg@phi-gamma.net> | 2016-04-08 23:54:04 +0200 |
commit | a4d0725cce7f78e295491e7e969eff3c0aa07bef (patch) | |
tree | d3d55558e76c5b837adbf33b6022ae0b249d5cd2 | |
parent | a995e0f6a8cbf6d56a99f79a7107508f4d4b038c (diff) | |
download | luaotfload-a4d0725cce7f78e295491e7e969eff3c0aa07bef.tar.gz |
[init] force preloading of the character table
-rw-r--r-- | src/luaotfload-auxiliary.lua | 9 | ||||
-rw-r--r-- | src/luaotfload-init.lua | 3 |
2 files changed, 8 insertions, 4 deletions
diff --git a/src/luaotfload-auxiliary.lua b/src/luaotfload-auxiliary.lua index 648c1d3..2c2624e 100644 --- a/src/luaotfload-auxiliary.lua +++ b/src/luaotfload-auxiliary.lua @@ -301,10 +301,11 @@ aux.name_of_slot = name_of_slot --[[doc-- In Context, characters.data is where the data from char-def.lua - resides. The file is huge (>3.7 MB as of 2013) and not part of the - isolated font loader. Nevertheless, we include a partial version - generated by the mkcharacters script that contains only the - a subset of the fields of each character defined. + resides. The file is huge (>4.4 MB as of 2016) and only a stripped + down version is part of the isolated font loader. Nevertheless, we + include an excerpt generated by the mkcharacters script that contains + a subset of the fields of each character defined and some extra + metadata. Currently, these are (compare the mkcharacters script!) diff --git a/src/luaotfload-init.lua b/src/luaotfload-init.lua index dd2fc95..096d778 100644 --- a/src/luaotfload-init.lua +++ b/src/luaotfload-init.lua @@ -338,6 +338,9 @@ local init_main = function () or "reference" fontloader = tostring (fontloader) + --- Preload the characters table. This may vanish later. + characters = luaotfload.loaders.luaotfload "characters" + if fontloader == "reference" then logreport ("log", 0, "init", "Using reference fontloader.") load_fontloader_module (luaotfload.fontloader_package) |