Treat double click on menu item as "OK"

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

ArduinoIDE 2 3 1 - Board selection - With markings

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.

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

2.3.1

Linux

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

arduino / arduino-ide