Fork me on GitHub
#off-topic
<
2019-11-03
>
sogaiu00:11:59

perhaps one could often get by with saying that one would get ... is undefined

dominicm00:11:30

I wonder if you have to release the ctrl key between presses?

sogaiu00:11:30

going from muscle memory, i would say that there is no difference between that and keeping ctrl held down as one types one name. in my limited testing it seems the same. wasn't sure about alt -- but i just tested both a bit and it seems similar.

sogaiu00:11:08

however, i'm not at all sure for the cases where at least one of the letters is not ascii 🙂

dominicm05:11:12

I think you have to indicate total effect on the open buffer

sogaiu05:11:35

it's not as fair to people with longer names 🙂