@rauh: No, there isn’t right now. That index is flakier than the others for some reason that I haven’t managed to determine. It can take time to update when a new keyword is added, too.

Ok, no harm. I used the proper one often enough that now it appears in first position so no more mistakes 🙂

Hi all, is there anyway I can get the “Your project requires namespaces which need stubs to be generated” turned off?