How to add librairies?

[Juraj]

Limited library access using Web editor

Hi @connelsey. Unlike the desktop Arduino IDE, the Arduino Web Editor has every one of the ~4000 libraries of the Arduino Library Manager pre-installed. So it actually has immensely more "library access" out of the box. However, not all Arduino libraries are in the Library Manager. That is likely the case with the library that provides the SR04.h file on your desktop. In this case, you will need to install the library, just like you needed to install the library to use it on your desktop. In A…