token passed to format_lines must be unicode, not str

otherwise a TypeError is raised in str.translate, since
unicode.translate takes a dict, while str.translate takes a bytestring

IPython/frontend/qt/console/pygments_highlighter.py

@@ -174,7 +174,7 b' class PygmentsHighlighter(QtGui.QSyntaxHighlighter):'
     def _get_format_from_document(self, token, document):
         """ Returns a QTextCharFormat for token by
         """
-        code, html = self._formatter._format_lines([(token, 'dummy')]).next()
+        code, html = self._formatter._format_lines([(token, u'dummy')]).next()
         self._document.setHtml(html)
         return QtGui.QTextCursor(self._document).charFormat()