What I'd propose is to merge TeXFiles.py in 1.4.2 to fix the windows issue. The rest will go in 1.4.3.
OK. Then the patch is simple.
Could you point me to the right changesets
14238 is all you need.
(or better provide a patch)?
No, since svn rename is involved. Bo