We "launched" a couple years ago with support for only a handful of editors. Most of the plugins have been community-made. No one has submitted an Eclipse plu

We "launched" a couple years ago with support for only a handful of editors. Most of the plugins have been community-made. No one has submitted an Eclipse plugin yet, but we would love to help make one happen.