Should placing a library inside the libraries folder generate a script-src tag in index.html?

[dhowe]

The intuition (at least for me) is that all I'd need to do to include an additional library is to place it in the libraries folder:

Or perhaps it could prompt the user...

Also, I notice this comment in index.html:

    <!-- Uncomment the lines below to include extra p5 libraries -->
    <script src="libraries/p5.dom.js" type="text/javascript"></script>
    <script src="libraries/p5.sound.js" type="text/javascript"></script>
    <script src="libraries/rita.js" type="text/javascript"></script>

however, none of the lines below are actually commented...

[antiboredom]

good points! More generally I'd like to implement a library management gui. Something that lets you add and remove third party libraries.

[therewasaguy]

Similarly, when adding a new Tab, can we assume that you want to link the tab in your index.html, and auto-generate the appropriate script / link tag?

[shiffman]

Was about to chime in and noticed @therewasaguy beat me to it! I think it's better to assume it will be used and files can be removed manually. Rather than have to add to index.html manually.