Haha I've faced this issue for years but it seems like they fixed it. You now can also set the code highlighting option directly from the editor without going i

Haha I've faced this issue for years but it seems like they fixed it. You now can also set the code highlighting option directly from the editor without going into options. Took them years unfortunately.