Feature/intellij editors#2475

Merged

juliusmarminge merged 3 commits into

pingdotgg:mainfrom

Minigamer42:feature/intellij-editors

May 6, 2026

Commits on May 5, 2026

Add remaining IntelliJ editors

Minigamer42
authored and
Minigamer43
committed
Fix filename normalization

Minigamer42
authored and
Minigamer43
committed
Fix testcases that did now test the old state but is not actually a regression (to be verified by @julius)

Minigamer42
authored and
Minigamer43
committed