Even though I checked "Automatically associate .ino files with Arduino" under File >> Preferences of the Arduino IDE menu, when I double-click on my .ino files the IDE opens, I am unable to upload my sketches because the Teensy boards are not loaded. That is clicking Tools >> Board from the menu bar shows no Teensy boards. If I open the Arduino IDE and THEN open my files using the IDE, it works fine.
Is this a bug or am I missing something?
Is this a bug or am I missing something?