@ArduinoBot build this please

✅ Build completed.

Please test this code using one of the following:

⬇️ http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-8640-BUILD-835-linux32.tar.xz
⬇️ http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-8640-BUILD-835-linux64.tar.xz
⬇️ http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-8640-BUILD-835-windows.zip
⬇️ http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-8640-BUILD-835-macosx.zip
⬇️ http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-8640-BUILD-835-linuxarm.tar.xz

i️ The linuxarm build is still experimental and may not be always available.

Rebased onto master (force-push). No additional changes were made.

I just started to wonder if we can avoid the button by adding a contextual menu on the serial monitor itself with 2 entries:

• copy selection
• copy all
  Would it make sense? @per1234 @tigoe @mbanzi

I like the context menu idea. It seems like a fairly intuitive UI.

My usual solution to this is to turn off autoscroll, then use a crtl-A, crtl-C. It makes me think it's worth adding a keyboard control for autoscroll, so you could use keys to do this all the way through. Would be better for accessibility too. context menus can be a pain for screen readers.

Rebased this PR onto master.

CLA assistant check
Thank you for your submission! We really appreciate it. Like many open source projects, we ask that you sign our Contributor License Agreement before we can accept your contribution.
_{You have signed the CLA already but the status is still pending? Let us recheck it.}