At 07:56 PM 10/8/03 +0200, you wrote: > > highlighted char is what I called a "hot char". (Yes, this takes new > code. > > I offered to do it.) > >Highlighted == underscore, I guess? > Or bold. Whichever is more appealing/convenient. Robert Wenzlaff (AKA Det. Thorn.)