From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 13 Nov 2020 16:53:47 +0000 (-0800)
Subject: Fix parsing of some more .tlo files.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=f8cba0fb13cceeac43fe4b15e2d5b48798ab1a6e;p=pspp

Fix parsing of some more .tlo files.
---

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