[wingide-users] Copy/Paste Stopped Working

Are there any known issues of copy/paste not working? I was using
Wing, and I couldn't use the ctrl-c/ctrl-v copy and paste. I tried
using the menu, thinking it was keyboard-related, but that didn't
work either. Basically, I would do the copy, find a good place to
paste, the paste would be on the menu but not do anything.

Red Hat 7.2, WingIDE 1.1, editing a PHP file.

I restarted Wing and it was fine.