[nyellin]

Enforcing formatting is good policy, and pre-installing a common editor on all workstations is certainly advisable; but enforcing the personal use a certain editor is like forcing a writer to use the editor's favorite pen, no matter how uncomfortable or cramped the writer's hands become.

From the answers:

  Yes, it's a bit of a red flag that management considers itself a better judge
  of which tools you would be more efficient with than you are.

[nraynaud]

It's absolutely different from a writer, I'm asking them to behave like a collaborative engineering team, not like a tortured drunk guy alone in a under lit room.

No 2 IDE can produce the same formatting, can store the dependencies and the running targets the same way, have the same shortcuts, etc. Therefore, you can't collaborate efficiently on the same machine.

Moreover, the only rule is that everybody uses the same, the majority can vote. Our last IDE change was initiated by a team member and multiplied the price per developer by 3