I never used it on Windows and never missed it on Linux or Mac. And it's likely very complex to implemenent, and more the concern of the toolchain than the IDE.

I never used it on Windows and never missed it on Linux or Mac. And it's likely very complex to implemenent, and more the concern of the toolchain than the IDE. Anyway, LeanCreator does not support it; the focus is more on simplicity and cross-platform.