commontk/CTK — pull request #366 by finetjul (2013-09-24 21:07:49+00:00)
Title: Fix copy/paste in ctkConsole

In addition to support paste from Ctrl+V, it now supports any paste
(e.g. with middle mouse button).
Also, the behavior is changed to now support Ctrl+V even when
the cursor is in the history area. Pasted text is appended at the end of
the document.

Closes #294