search

banacorn / agda-mode

agda-mode on Atom
https://atom.io/packages/agda-mode
MIT License
58 stars 14 forks source link

Coping with ctrl+c on windows #19

Open cnd opened 9 years ago

cnd commented 9 years ago

Coping with ctrl+c on windows doesn't work

banacorn commented 9 years ago

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

banacorn commented 9 years ago

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.

cnd commented 9 years ago

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

demin-dmitriy commented 8 years ago

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

banacorn commented 8 years ago

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

demin-dmitriy commented 8 years ago

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.

freeman42x commented 5 years ago

For me it only works to copy using Ctrl + Ins