# HG changeset patch
# User wenzelm
# Date 1543491713 -3600
# Node ID 589896fe1df2efd0bc3f154dfcd33c9af51aa2db
# Parent  6ecc85955e0408b4830381231b70b1966c5dfc4c
more robust: enforce Unicode range;

diff -r 6ecc85955e04 -r 589896fe1df2 src/Pure/Tools/fontforge.scala
--- a/src/Pure/Tools/fontforge.scala	Wed Nov 28 16:33:45 2018 +0100
+++ b/src/Pure/Tools/fontforge.scala	Thu Nov 29 12:41:53 2018 +0100
@@ -83,7 +83,7 @@
       commands(
         open(path),
         "i = 0",
-        "while (i < CharCnt())",
+        "while (i < CharCnt() && i < 0x110000)",
         "  if (" + (if (strict) "DrawsSomething" else "WorthOutputting") + "(i)); Print(i); endif",
         "  i = i + 1",
         "endloop",