@jon here is a screen shot when using Bitstream Vera Sans Mono 10 font, maybe highlighting and not bolding can avoid this. but, anyway i can manage with the default Tahoma font, so this is no bigi.
@sublimator, i'll try the font u suggested
one more comment regarding the way you filter, the way it is done now, if i put few strings in the filter line, each 'stills' the characters it matched, so for example look at the screen shot, if i type 'space' followed by wdma it won't match nothing, because the 'W' stole this word already. it seems more appropriate if the filter terms could overlap. i hope i am clear enough.