Actually the Arduino IDE is just the (crappy) build system (and a (subpar) package manager). Replacing it is trivial, see my sibling comment.