> The only way this could happen is when this other app automatically put the > X11 selection in the X11 clipboard (which is bad).
no its not bad, once you get accustomed to it its very useful on contrary. (btw i dont use any desktop manager here and works too). pavel
