Copy and paste with mouse in "Find"

In the Find dialog, CTRL-C and CTRL-V work okay, but it would be quite helpful if Right-Click Copy and Right-Click Paste would work there too.

This feature request has now been submitted by PickyBiker at https://github.com/arduino/Arduino/issues/4883