On Monday, August 5, 2013 7:34:14 AM UTC-5, Jacob Peck wrote:
> This one is less breaking than before, and likely has something to do
with splitting the string somewhere.
The fix is at rev 5855. All unit tests pass.
I chose to do the bare minimum fix, confined to g.computeWindowTitle. Here
it is::
if os.sep in '/\\':
title = title.replace('/',os.sep).replace('\\',os.sep)
I didn't have the nerve to put similar code in, say, g.os_path_join. Note
that Python os.path.join does not guarantee consistent results. For
example, http://docs.python.org/2/library/os.path.html states: "In all
cases, join(head, tail) returns a path to the same location as path (but
the strings may differ)."
Edward
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/groups/opt_out.
