From f8cba0fb13cceeac43fe4b15e2d5b48798ab1a6e Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Fri, 13 Nov 2020 08:53:47 -0800 Subject: [PATCH] Fix parsing of some more .tlo files. --- doc/dev/tlo-file-format.texi | 5 ++++- src/output/spv/tlo.grammar | 2 +- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/doc/dev/tlo-file-format.texi b/doc/dev/tlo-file-format.texi index c117816d0f..08973ab532 100644 --- a/doc/dev/tlo-file-format.texi +++ b/doc/dev/tlo-file-format.texi @@ -245,7 +245,7 @@ AreaStyle => 00*2 bool[italic] bool[underline] bool[strikethrough] int32[rtf-charset-number] - 22 + byte[x] byte[font-name-len] byte*[font-name-len][font-name] int32[text-color] 00*2 @@ -283,6 +283,9 @@ ignore it. @code{rtf-charset-number} is a character set number from RTF. A reader can safely ignore it. +The meaning of @code{x} is unknown. Values 12, 22, 31, and 32 have +been observed. + The @code{font-name} is the name of a font, such as @code{Arial}. Only US-ASCII characters have been observed here. diff --git a/src/output/spv/tlo.grammar b/src/output/spv/tlo.grammar index 3f939f7d5f..2cad8a17c1 100644 --- a/src/output/spv/tlo.grammar +++ b/src/output/spv/tlo.grammar @@ -68,7 +68,7 @@ AreaStyle => 00*2 bool[italic] bool[underline] bool[strikethrough] int32[rtf-charset-number] - 22 + byte[x] byte[font-name-len] byte*[font-name-len][font-name] int32[text-color] 00*2 -- 2.30.2