Firstly, thanks for releasing AppGameKit for raspberry pi, from first impressions it seem to be a great development tool and I'm really looking forward to using it.
I'm having a slight problem though as I think there may be a bug in the IDE as copy and paste doesn't seem to work (I've tried using keyboard shortcuts and drop-down menu).
Everything else seems to be functioning correctly. I'm using the noobs intsallation and have updated Raspbian so I believe my Raspbery Pi is fully up to date. Is anyone else having the same issue?