Jürgen Spitzmüller wrote: > Tommaso Cucinotta wrote: > > this is now in r33267. > > excellent, thanks.
One small note: I think it would be slightly more intuitive if the replace buttons would read [< Replace] and [Replace >] instead of [Previous] and [Next]. What do you think? Jürgen
