It appears like Arduino is working on a Pro Arduino IDE, which is based on Eclipse: https://github.com/arduino/arduino-pro-ide

Wonder how hard it will be to add Teensyduino Support?

hopefully will have some time over the next few days to download this and at least take a look...

Kurt