some more fixes

This commit is contained in:
John Whitington 2023-07-05 14:24:26 +01:00
parent d67b633f03
commit f0ce7d420c
1 changed files with 3 additions and 0 deletions

View File

@ -8,6 +8,9 @@ open Pdfio
(* FIXME Get rid of double-calling of this code to 1) make font then 2) collect chars then 3) subset it i.e the subset = [] stuff *) (* FIXME Get rid of double-calling of this code to 1) make font then 2) collect chars then 3) subset it i.e the subset = [] stuff *)
(* FIXME Check WinAnsiEncoding actually does the right thing, and covers all possible characters in that set *) (* FIXME Check WinAnsiEncoding actually does the right thing, and covers all possible characters in that set *)
(* FIXME Subset names better than AAAAAB *) (* FIXME Subset names better than AAAAAB *)
(* FIXME Rationalise padding code *)
(* FIXME Document the mechanisms we use *)
(* FIXME Proper table choice mechanism *)
let dbg = ref false let dbg = ref false
(*let _ = (*let _ =