> committed a few minor but fun changes to the editor in git - nice. thanks. > 1) over-typing: select texted text is replaced when you type - finally! this is great. i wish copy and paste would also work :). best, gabor