The official Arduino development team has today announced the release of Arduino 1.8.13,bringing with it new improvements, bug fixes and tweaks.

Arduino 1.8.13 with Teensyduino's Modifications This copy of Arduino includes the Java code changes added by to the IDE by the Teensyduino installer. Arduino is an open-source physical computing ...

Arduino 1.8.13 (using your Software Download) was working ok until I did an Arch system upgrade. See screenshot below. The options are there, but not visible. If I click on "Open", for example, and ...