Since when is Teensyduino an IDE? It's an addon for the Arduino IDE and only activates when you compile for a Teensy board.