[plt-scheme] Weird selection behavior with editor snips

On Sat, Jun 21, 2008 at 3:35 PM, Jakub Piotr Cłapa <jpc-ml at zenburn.net> wrote:
> Danny Yoo wrote:
>>
>> If I double click the content of the editor snip, it selects
>> everything in that snip, which is good.  However, if I then click to
>> "world", then the selection highlight persists on the editor snip,
>> even though it doesn't have focus anymore.
>>
>> Is there a workaround for this?
>
> I cannot reproduce this on v4.0 on OS X.


Ok, so maybe this isn't such a problem: I see it only on my Linux box.
 I wonder if it's possible to set x selection mode locally...

Thanks again everyone!