I am also using aa23ac452c9f.
But the Ctrl-F behaviour I am seeing (last couple of comments on #794,
post fix) started with 0d125d52483e, the fix for #794.
As I was fiddling with the Find pane:
Traceback (most recent call last):
File "/home/chris/leo-editor/leo/plugins/qt_frame.py", line 813, in wrapper
return self.keyPress(event)
File "/home/chris/leo-editor/leo/plugins/qt_frame.py", line 848, in keyPress
stroke = ef.toStroke(tkKey, ch) # ch not used.
TypeError: toStroke() takes 2 positional arguments but 3 were given
/home/chris/leod: line 5: 2490 Aborted (core dumped)
python3 ./launchLeo.py --session-restore --session-save $1 $2 $3
Chris
On Sat, Apr 14, 2018 at 11:48 AM, Terry Brown <[email protected]> wrote:
> On Sat, 14 Apr 2018 13:47:46 -0500
> Terry Brown <[email protected]> wrote:
>
>> Ctrl-F seems broken in aa23ac452c9f, I was thinking this was related
>> to the #794 but now realize it's probably the new key handling code.
>> Focus looks right, but nothing I can do (click, select, whatever)
>> let's me type content in the Find: field.
>>
>> Cheers -Terry
>
> Whoops, hadn't noticed this:
>
> Traceback (most recent call last):
> File
> "/mnt/usr1/usr1/home/tbrown/t/Package/leo/git/devel/leo/plugins/qt_frame.py",
> line 813, in wrapper
> return self.keyPress(event)
> File
> "/mnt/usr1/usr1/home/tbrown/t/Package/leo/git/devel/leo/plugins/qt_frame.py",
> line 848, in keyPress
> stroke = ef.toStroke(tkKey, ch) # ch not used.
> TypeError: toStroke() takes 2 positional arguments but 3 were given
>
> --
> 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 post to this group, send email to [email protected].
> Visit this group at https://groups.google.com/group/leo-editor.
> For more options, visit https://groups.google.com/d/optout.
--
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 post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
