personally, after trying theia, i know its good, but its extremely hard to configure some things like i want to, because even though it is the same editor as they put it, i cant do some things the same way. Found issues about this, turns out they are from 2019. Kind of sucks.