I see that you are using a Mac.

"About Arduino..." will show you the version numbers for both the Arduino and Teensyduino. Check that the version number of Teensyduino appears. If not, Teensyduino...