No, I didn't realize there should be such a command. I'll take a look at adding it (not for 6.6.2, of course!).
Please don't remove the code from devel even if you remove it from the release branch. For a PR with the new command, I will have to have a fully merged branch that is otherwise up to date with devel, and if you remove the code from devel, it will wipe out mine. That will make things much harder for me. On Monday, May 23, 2022 at 5:35:02 PM UTC-4 Edward K. Ream wrote: > On Monday, May 23, 2022 at 4:21:38 PM UTC-5 Edward K. Ream wrote: > > 1. I mistakenly merged PR #2671 >> <https://github.com/leo-editor/leo-editor/pull/2671> into the 6.6.2 >> branch from devel. So now we get to test Thomas's new code :-) >> > > Rev d973bb in devel lower cases the 'file only' label, indicating that > there is no Alt-Ctrl shortcut for it the radio button. > > Thomas, I don't see a toggle-find-file option in the PR #2665 > <https://github.com/leo-editor/leo-editor/pull/2665>. For completeness it > should probably exist, along with the typical Alt-Ctrl shortcuts. But we > should leave all this for 6.6.3. The more I think about this, the more I > think I should (somehow!) undo the merge of the PR. I'll try tomorrow when > I have my wits about me :-) > > Edward > -- 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/b9f0a131-624c-4c62-9b5e-858d239f2908n%40googlegroups.com.
