Thanks, good to know. Other text editing tools aren't so good. :) But noted for the future.