Comment by donny

I've been developing Heroku and GitHub integration for months, at the expense of a better editor. But what people want is a better editor: themes, vim keybinding, extra keyboard, etc :) I'll try to do it after I finish with the server side code execution.