Actually, there should not be a toggle command because the control is a
radiobutton. It should a "set" command. And I already provide a
*set-find-file-only* command in LeoFind.py:
@cmd('set-find-file-only')
def set_find_scope_file_only(self, event: Event=None) -> None: # pragma:
no cover (cmd)
"""Set the 'File Only' radio button in the Find tab."""
self.set_find_scope('file-only')
So I think we're good.
On Monday, May 23, 2022 at 5:56:29 PM UTC-4 tbp1...@gmail.com wrote:
> 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 leo-editor+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/leo-editor/a0523be0-b2f0-4852-be16-919a4889c299n%40googlegroups.com.
