Hi,
I don't know if this is really a bug or if I misused the tool as I'm new to Arduino Web Editor, but here I go :
I uploaded a customized version of the IRremote library in which I added a personal remote type, then I included it in my sketch.
But on compilation the tool seems not to take into account my library and uses the one from the Hub ; my added functions are not recognized.
Is there a way to make the compiler prioritize personal libraries over those from the community ?