<div dir="ltr">this only happens with highlight mode set to Others/Defaults as <a href="http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=678457">http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=678457</a> says.<div><br></div>

<div>Defaults highlight isn't available anymore with 3.8.3-4 version.</div><div><br></div><div>Regards</div><div>althaser</div><div><br></div></div>