<div dir="ltr"><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Jul 6, 2015 at 5:24 PM, Gerald B. Cox <span dir="ltr">&lt;<a href="mailto:gbcox@bzb.us" target="_blank">gbcox@bzb.us</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">I&#39;ll let you know what upstream says...</blockquote></div><br><span style="font-size:12.8px">Here is the reply, sorry for the delay in posting... unfortunately, don&#39;t think it is going to help you much, but thought I&#39;d post it anyway...</span></div><div class="gmail_extra"><span style="font-size:12.8px"><br></span></div><div class="gmail_extra"><span style="font-size:12.8px">&quot;I remember that quite some time ago I had similar problems when setting or getting clipboard content too often. So maybe there is some other app that misbehaves. This can easily happen if there are more clipboard managers and they try to synchronize clipboard and X11 selection (they&#39;re fighting to change the clipboard).&quot;</span><br></div><div class="gmail_extra"><span style="font-size:12.8px"><br></span></div><div class="gmail_extra"><span style="font-size:12.8px"><br></span></div></div>