Georg Brandl added the comment: Pygments is now updated to 1.5pre. ---------- resolution: -> fixed status: open -> closed _______________________________________ Python tracker <report at bugs.python.org> <http://bugs.python.org/issue13801> _______________________________________