I believe there is a lot of value in adding Source Control Integration into the Arduino IDE. At a minimum I think it should support SVN and GIT. Any chance of this being added?
Seconded.
The IDE supports external editors (check the menu) and you could use something like eclipse that does.
Furthermore you are free to create the patch needed as the source are (somewhere) available 