Treat double click on menu item as "OK"

[martin-eden]

Describe the request

I suggest that you treat double mouse click on any menu item in board selection dialog as pressing "OK".

It's common idiom these days and I'm finding myself double-clicking every time and getting annoyed that it does not behaves as I expect.

Describe the current behavior

Double-clicking on menu items in board selection dialog is equivalent to two single clicks.

Arduino IDE version

2.3.1

Operating system

Linux

Operating system version

21

Issue checklist

• I searched for previous requests in the issue tracker
• I verified the feature was still missing when using the latest nightly build
• My request contains all necessary details