Hi,<br><br><div class="gmail_quote">2008/6/15 Renato Fabbri <<a href="mailto:renato.fabbri@gmail.com">renato.fabbri@gmail.com</a>>:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
i think that i have seen something about text highlighting on the list. i wanted to use mini-audicle's highlighting on kate. any idea?<br><br></blockquote></div>Another way to get text highlighting is Jedit ChucK mode. See:<br>
<a href="http://www.jesusgollonet.com/blog/2006/10/01/chuck-jedit-edit-mode-updated-for-1207/">http://www.jesusgollonet.com/blog/2006/10/01/chuck-jedit-edit-mode-updated-for-1207/</a><br><br>Regards<br><br>Antanas Budriûnas<br>