src/Pure/General/graphics_file.scala

--- a/src/Pure/General/graphics_file.scala	Wed Nov 28 15:11:21 2018 +0100
+++ b/src/Pure/General/graphics_file.scala	Wed Nov 28 15:38:18 2018 +0100
@@ -48,6 +48,7 @@
       val params = new DefaultFontMapper.BaseFontParameters(File.platform_path(entry.path))
       params.encoding = BaseFont.IDENTITY_H
       params.embedded = true
+      params.ttfAfm = entry.bytes.array
       mapper.putName(entry.name, params)
     }
     mapper