Substitutions, encoding results
My substitution file nears completion. I'll pass it on when I'm done. So far using substition to insert characters by name more or less works. There are a few problems: 1) Some important Unicode characters can not be substituted. This includes several variety of spaces and all the arrow characters. 2) Substitutions can not be against non-white space. Thus you can not use a |sup3| substitution in your text. You also can not emphasize substitutions. I'll take a look at the code and see if there are obvious solutions to these two problems.
David Priest wrote:
My substitution file nears completion. I'll pass it on when I'm done.
Please do. I have just made substitutions case-sensitive but forgiving, falling back to case-insensitive matches whenever necessary. Now "|eacute|" and "|Eacute|" can have distinct definitions and references.
So far using substition to insert characters by name more or less works. There are a few problems:
1) Some important Unicode characters can not be substituted.
Why not?
2) Substitutions can not be against non-white space. Thus you can not use a |sup3| substitution in your text. You also can not emphasize substitutions.
The recent addition of disappearing escaped whitespace should have solved this one. -- David Goodger http://starship.python.net/~goodger Programmer/sysadmin for hire: http://starship.python.net/~goodger/cv
participants (2)
-
David Goodger -
David Priest