Fellow ChucKists, dear Spencer.<div><br></div><div>For me the mini on Linux, using the Gnome desktop, has lately been acting up. Shortcuts like ctrl-c, ctrl-v, ctrl-x stop working after a while, so do the ones for adding and replacing shreds. Strangely ctrl-d *does* work in this state. No other programs have shown this behaviour and it&#39;s not consistent; they disappear after a while and so far I haven&#39;t seen them return. I think only the latest version does this.</div>
<div><br></div><div>I&#39;d like to document under what conditions this happens but it&#39;s quite inconsistent.</div><div><br></div><div>Yours,</div><div>Kas.</div>