I've been noticing this for a while now in the colornick plugin
It has some kind of problem with numbers like it. Sometimes the numbers dont show up or sometimes the colouring goes wrong. I was just wondering if the author new of this and was going to development on this problem???
/ 
![[Image: userbardz2.gif]](http://img171.imageshack.us/img171/2729/userbardz2.gif)
