[chuck-users] mini shortcuts mistery

Kassen signal.automatique at gmail.com
Mon Dec 14 10:39:58 EST 2009

Fellow ChucKists, dear Spencer.

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's not
consistent; they disappear after a while and so far I haven't seen them
return. I think only the latest version does this.

I'd like to document under what conditions this happens but it's quite

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.cs.princeton.edu/pipermail/chuck-users/attachments/20091214/f4881b50/attachment.html>

More information about the chuck-users mailing list