To confirm, I just tried these (Ctrl+Shift+C & Ctrl+Shift+V) in another app and they work fine, so it would seem to be something with Leo.
Incidentally, I did figure out the unbinding part, i.e. by setting 'do-nothing = Ctrl+n' . (and yes, I know, this one's right in the doc) The other bindings are what I'm really looking for though. On Saturday, August 22, 2020 at 8:13:36 AM UTC-4 k-hen wrote: > Hmm ... I suppose that's always a possibility, but I'm pretty sure it > works in other applications. > Incidentally, it's not working on Linux or Windows. > I've checked the linux os keyboard shortcuts and nothing appears to be > grabbing it. > If I manually right-click and copy the node then Ctrl+Shift+v isn't > working for paste either. > The other Ctrl+Shift bindings are also ok, so it isn't just that combo. > > Is there a perhaps a debug logging mode for Leo which can output the > functions it's executing? > > > > On Friday, August 21, 2020 at 10:32:10 PM UTC-4 [email protected] wrote: > >> My keyboard, which is fairly new, doesn't emit <CTRL-SHIFT-C>, which is >> very annoying. I have to use the menu to get the command. Maybe you have >> a keyboard issue? >> >> >> On Friday, August 21, 2020 at 8:42:16 PM UTC-4, k-hen wrote: >>> >>> It's very boring so far, just getting started :-) >>> >>> The biggest helper for now are the paste-node and paste-node-as-clone >>> which don't seem to be working for me, >>> and Ctrl+n doesn't seem to unbind either, i.e. after setting to None. >>> >>> I've check-bindings and they seem like they're free. >>> >>> The others seem to work fine though. >>> For now these are all globally scope but I could see wanting to be more >>> granular. >>> >>> Thanks very much for your help. >>> >>> Kevin >>> >>> >>> -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/99355c7b-bec0-4e0e-ba99-49ce02f457d6n%40googlegroups.com.
