<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
<head>
<meta content="text/html;charset=ISO-8859-1" http-equiv="Content-Type">
<title></title>
</head>
<body bgcolor="#fefef0" text="#000250">
Dieter Maurer wrote:
<blockquote cite="mid16918.19058.386751.990213@gargle.gargle.HOWL"
type="cite">
<pre wrap=""><!---->
You have a chance that StructuredText might work with Unicode
correctly -- independent of locale (I am not sure, though;
the chance comes from the fact that StructuredText uses
regular expressions and they can handle unicode correctly (and
usually transparently).
</pre>
</blockquote>
<br>
Thanks, I tried that. It didn't change anything, though. I've looked at
the source code and I found that the problem lies in the Python
string.letters expression, which is used to build the regular
expressions for the Structured Text implementation.<br>
<br>
Actually, I've been able to make modifications to the file
DocumentClass.py that make things work for me. I've really simplified
the expressions a bit, so I guess there may be other problems with that
approach. For example, the original expression for the bold format was
constructed like this:<br>
<br>
<p style="margin: 0in; font-family: "Courier New"; font-size: 11pt;"
lang="EN-US">r'\*\*([%s%s%s\s]+?)\*\*' % (letters, digits,
strongem_punc)</p>
<br>
I changed this to say:<br>
<br>
<p style="margin: 0in; font-family: "Courier New"; font-size: 11pt;"
lang="EN-US">r'\*\*([^*]+)\*\*'</p>
<br>
Obviously, this may introduce its own problems, but then I can easily
explain to my users that they can't format a string bold that contains
a * character. Probably depending a little on the content that's
supposed to be entered :-)<br>
<br>
<pre class="moz-signature" cols="72">
Oliver Sturm
--
omnibus ex nihilo ducendis sufficit unum
Spaces inserted to prevent google email destruction:
MSN oliver @ sturmnet.org Jabber sturm @ amessage.de
ICQ 27142619 <a class="moz-txt-link-freetext" href="http://www.sturmnet.org/blog">http://www.sturmnet.org/blog</a>
</pre>
</body>
</html>