^^^^ sorry, I should correct myself. I *do* know about shortcuts - I have forgotten that that was the name for the 'bind command to key' settings. I was thinking that was '@binding' or something.
Nevertheless - other @shortcuts I have in myLeoSettings.leo are shown in the log output to 'show-commands' - why not this one? Or is it because this (Ctrl-right-arrow) is "Ctrl-Next"? This is shown in LeoSettings.leo and in the log pane: tab-cycle-previous = Ctrl-Prior tab-cycle-next = Ctrl-Next tab-cycle-next = Ctrl-Tab ? (I had never though of 'Ctrl-Next', and 'Ctrl-Prior', as referring to these key presses) Great, in that case ... except that for me you can't *cycle* between the panes using this, only from tree to body. At least for me ... more investigation... J^n On Thursday, March 21, 2024 at 5:51:57 PM UTC jkn wrote: > I am not sure I even know what @shortcuts are! They are hardly mentioned > in the docs. > > Right, off to investigate, thanks... > > On Thursday, March 21, 2024 at 5:28:09 PM UTC tbp1...@gmail.com wrote: > >> It's in LeoSettings.leo, in the node @shortcuts Gui operations. >> >> On Thursday, March 21, 2024 at 10:33:33 AM UTC-4 jkn wrote: >> >>> I keep meaning to look at 'improving' (for my needs) navigation between >>> Tree and body panes. Whilst taking a look at this again I found a puzzle. >>> >>> I have what is (I think) the standard bindings for this: >>> >>> # show-commands >>> Alt+d focus-to-body >>> tree:Tab focus-to-body >>> focus-to-find >>> focus-to-log >>> focus-to-minibuffer >>> focus-to-spell-tab >>> Alt+t focus-to-tree >>> >>> However - CTRL+right (ie. main arrow keys on my 107-key KB) seems to do >>> focus-to-body as well as TAB. >>> >>> Any idea where this binding might be occurring? Is CTRL-right getting >>> turned into TAB somewhere? How can I find out, if show-commands gives the >>> output above? >>> >>> Thanks, jon N >>> >>> >>> -- 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/0be80899-b9d8-4acc-afed-e50a74766276n%40googlegroups.com.
