Hi,
I also experience the very same issue. The workaround I am using now is to use the Debian-packaged version of the Arduino-IDE. Looking forward for an update fixing this problem.
Hi,
I also experience the very same issue. The workaround I am using now is to use the Debian-packaged version of the Arduino-IDE. Looking forward for an update fixing this problem.