summaryrefslogtreecommitdiff
path: root/src/luaotfload-tool.lua
diff options
context:
space:
mode:
authorPhilipp Gesang <phg42.2a@gmail.com>2014-03-23 21:58:16 +0100
committerPhilipp Gesang <phg42.2a@gmail.com>2014-03-23 21:58:16 +0100
commit82a06a10cef0ab4ee3fbe8c83facb1b017fbf6ef (patch)
tree2caba8a04cab51fbe81f311dc31f749c9c9ac423 /src/luaotfload-tool.lua
parent2d7567b653cabaa0d259996a47227cefa9b54563 (diff)
downloadluaotfload-82a06a10cef0ab4ee3fbe8c83facb1b017fbf6ef.tar.gz
[db,tool] display list of remaining files if less than ten
Diffstat (limited to 'src/luaotfload-tool.lua')
-rwxr-xr-xsrc/luaotfload-tool.lua18
1 files changed, 18 insertions, 0 deletions
diff --git a/src/luaotfload-tool.lua b/src/luaotfload-tool.lua
index 2301636..60d2c2c 100755
--- a/src/luaotfload-tool.lua
+++ b/src/luaotfload-tool.lua
@@ -906,6 +906,21 @@ end
--[[doc--
+ list_remainder -- Show remaining fonts in bisect slice.
+
+--doc]]--
+
+local list_remainder = function (lo, hi)
+ local fonts = names.font_slice (lo, hi)
+ report ("info", 0, "bisect", "%d fonts left.", hi - lo)
+ for i = 1, #fonts do
+ report ("info", 1, "bisect", " ยท %2d: %s", lo, fonts[i])
+ lo = lo + 1
+ end
+end
+
+--[[doc--
+
bisect_set -- Prepare the next bisection step by setting high, low,
and pivot to new values.
@@ -950,6 +965,9 @@ local bisect_set = function (outcome)
status[nsteps + 1] = { lo, hi, pivot }
write_bisect_status (status)
+ if hi - lo <= 10 then
+ list_remainder (lo, hi)
+ end
return true, false
end