Hello Floris,

I've had the same problem on Mac OS 10.14.6. I followed the instruction on the download page to start the Arduino IDE once before installing Teensyduino, but after rebooting the...