diff options
author | Valery Ushakov <uwe@stderr.spb.ru> | 2021-02-03 13:15:22 +0000 |
---|---|---|
committer | Charles Forsyth <charles.forsyth@gmail.com> | 2021-02-03 13:15:22 +0000 |
commit | 206fe115321515fd30686e46f830e26205053831 (patch) | |
tree | 3fc1190a1b07ce1268e7bf52c63beb25ac235fff | |
parent | ff5ab8e7bad9f4c04b5d06dbc4290fe0f43c4467 (diff) | |
parent | 63be372595c5ccdf1108543a075027eb070d484b (diff) |
Merged in bugfix/parseman-space-escapes (pull request #12)
lib/parseman: recognize all troff space escapes
Approved-by: Charles Forsyth
-rw-r--r-- | appl/lib/parseman.b | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/appl/lib/parseman.b b/appl/lib/parseman.b index bf420763..0f4151e9 100644 --- a/appl/lib/parseman.b +++ b/appl/lib/parseman.b @@ -443,11 +443,11 @@ parsetext[T](state: ref ParseState[T], t: string): list of Text case t[i] { '-' or '.' or '\\' => ch = t[i]; - ' ' => + ' ' or '0' => ch = ' '; 'e' => ch = '\\'; - '|' or '&' => + '|' or '&' or '^' => continue; '(' => if (width > 3) |