LaTeX text processing using "LaTeX low level font commands" in texmanager.py & backend_ps.py

""Randewijk" == "Randewijk P-J <pjrandew@...841...>" <pjrandew@...841...> writes:

    "Randewijk> Dear John, Its 3 months later, but rather late than
    "Randewijk> never:

Thanks -- we can incorporate your changes with this information, but
it would speed things along if you could submit a proper patch against
current matplotlib cvs

cvs diff -u

Thanks,
JDH