Ctrl+C when selecting seems deliberately set to behave as if the
user had released the mouse button.
as other people already said: CTRL+C does not work. it does appear to work because you have to use the mouse to select text and as soon as you release the mouse button the text is copied anyways, no matter if you use CTRL+C or not. if you hold CTRL while releasing the mouse button, colours are copied along with the text, which is the only function the CTRL key has here.
