--- a/eric6/ThirdParty/Pygments/pygments/formatters/rtf.py Tue Apr 21 19:44:19 2020 +0200 +++ b/eric6/ThirdParty/Pygments/pygments/formatters/rtf.py Tue Apr 21 19:47:10 2020 +0200 @@ -5,7 +5,7 @@ A formatter that generates RTF files. - :copyright: Copyright 2006-2017 by the Pygments team, see AUTHORS. + :copyright: Copyright 2006-2019 by the Pygments team, see AUTHORS. :license: BSD, see LICENSE for details. """ @@ -35,7 +35,7 @@ ``'default'``). `fontface` - The used font famliy, for example ``Bitstream Vera Sans``. Defaults to + The used font family, for example ``Bitstream Vera Sans``. Defaults to some generic font which is supposed to have fixed width. `fontsize` @@ -70,7 +70,7 @@ .replace(u'}', u'\\}') def _escape_text(self, text): - # empty strings, should give a small performance improvment + # empty strings, should give a small performance improvement if not text: return u''