Add a search function to the editor and set a shortcut key

[petertzy]

Add a search function to the editor and set a shortcut key.

[IlyasFardaouix]

I think I see the issue - you're trying to add a search function to the editor, but I'm not seeing any code that handles search functionality. Have you considered checking out the tkinter search method, which might be a good starting point? Could you also clarify what you mean by "set a shortcut key" - do you want to map a specific key combination to trigger the search function?