<html>
<head>
<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 12pt;
font-family:Calibri
}
--></style></head>
<body class='hmmessage'><div dir='ltr'>
<p sab="108">Rumors have we heard that, as Eric's text highlighter, can be
used either QScintilla or Pygments, at wish.
</p>
<p sab="110">We'd be curious to know whether, within the Eric's user community,
this is a well known fact and, in practice, how the choice is made.
Thanks.</p>
<p sab="112"> - P.M.</p>
</div></body>
</html>