From 2a52e76a21ea61ff2591a952b3d17d0ff355f6c0 Mon Sep 17 00:00:00 2001 From: Ben Pfaff <blp@cs.stanford.edu> Date: Sun, 26 Jul 2015 22:03:53 -0700 Subject: [PATCH] dump: Title section sometimes uses font size 14, not just 12. --- dump.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/dump.c b/dump.c index 90c32bf64d..a31cceae44 100644 --- a/dump.c +++ b/dump.c @@ -274,7 +274,8 @@ dump_value_31(FILE *stream) get_string(); /* foreground */ get_string(); /* background */ get_string(); /* font */ - match_byte_assert(12); /* size? */ + if (!match_byte(14)) + match_byte_assert(12); /* size? */ } else match_byte_assert(0x58); -- 2.30.2