Nulls for JSON font entries
This commit is contained in:
parent
8a1fdc23a4
commit
51926ffd20
|
@ -290,9 +290,9 @@ let json_of_font (pagenum, name, subtype, basefont, encoding) =
|
||||||
`Assoc
|
`Assoc
|
||||||
[("page", `Int pagenum);
|
[("page", `Int pagenum);
|
||||||
("name", `String name);
|
("name", `String name);
|
||||||
("subtype", `String subtype);
|
("subtype", if subtype = "" then `Null else `String subtype);
|
||||||
("basefont", `String basefont);
|
("basefont", if basefont = "" then `Null else `String basefont);
|
||||||
("encoding", `String encoding)]
|
("encoding", if encoding = "" then `Null else `String encoding)]
|
||||||
|
|
||||||
let print_fonts ?(json=false) pdf range =
|
let print_fonts ?(json=false) pdf range =
|
||||||
if json
|
if json
|
||||||
|
|
Loading…
Reference in New Issue