I am currently programming a Teens y2.0 using the Arduino IDE with Teensyduino. It works but Arduino IDE is rubbish, so I would like to use VS Code. However while the Arduino VS code plugin works fine, it doesn't recognise the Teensy as a board, even though Teensyduino installs its libraries etc into the Arduino IDE package.
Does anyone know how to add Teensy support to VS Code or an alternative IDE I can use that will recognise the board?
OSX Sierra / VS Code with vscode-arduino plugin v0.24 / Teensy 2.0