I tried that, and the code choice in the config file does not seem to be reflected in FreeRTOS.h. Changing FreeRTOS.h was a workaround.
I can check to see if the change is really there, but it doesn’t seem to be. Not a scalability issue, since scalability problems remove the highlighting around the #ifdef/#endif, and this has highlighting as if the option weren’t set.
Odd.