Fix parsing of some more .tlo files.

diff --git a/doc/dev/tlo-file-format.texi b/doc/dev/tlo-file-format.texi
index c117816d0fb437ecd211d21cd64d63b69f7c5a4e..08973ab532ab346ca6542b5b6356b2f5f7ad3939 100644 (file)
--- 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 3f939f7d5f7d392e61709fe85775eafa007dca05..2cad8a17c1c1d944bb069b77a22c8b1ac2445809 100644 (file)
--- 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