agda-mode Coping with ctrl+c on windows

Coping with ctrl+c on windows doesn't work

Jul 07 '15 11:07 Cynede

Thanks, I will look into this as soon as I have a Windows at hand.

As far as I know it has something to do with native key bindings

Jul 07 '15 12:07 banacorn

I tried copying with ctrl+c on windows and it works, perhaps you meant the "title" of the panel, which I forbids copying deliberately, for absolutely no reason at all :D

I will make the title copyable if you think it's reasonable to do so.

Sep 16 '15 18:09 banacorn

Issue is gone for me with recent atom updates, seems like

Sep 17 '15 13:09 Cynede

Issue is still there for me. Can't copy with Ctrl+c in Atom 1.10.2 but i am sure, that this is a problem with Atom itself https://github.com/atom/atom-keymap/issues/129

Sep 10 '16 09:09 demin-dmitriy

@demin-dmitriy Any suggestions on how to workaround this temporarily?

Sep 14 '16 08:09 banacorn

i know almost nothing about atom internals and api, so i hardly can give any useful suggestion. I am for the time being just pressing ctrl+c, arrow to make the hotkey work.

The easiest solution is to just change keybindings.

Sep 14 '16 14:09 demin-dmitriy

For me it only works to copy using Ctrl + Ins

Jan 17 '19 22:01 freeman42x