I'm not sure about this so it's a question. When, from terminal, I do: $ mate . and then edit happily away, everything in the TM environment works great. But, when I copy from a different app (say Terminal) and try to paste, the clipboard contains its previous contents, not the new copy. Any thoughts on why this could be? Thanks