There is a collaborative editing plugin for eclipse here. There wouldn't be any compatibility with other environments but the OP did ask for an IDE so I'll throw it out there.