Apologies if this is already implemented or discussed elsewhere, but a quick search did not reveal. When does the editor update the p5.js library? Does it do this only with new editor releases? Should we have an option to "check for new p5.js library" on a per project basis? Or just for the editor to use when making new projects? We certainly shouldn't override library files in existing projects unless the user asks to. A simple behavior might be to just check each time on launch and ask "do you want to update p5.js?" How can we make this clear to the user that this is different than updating the p5.js editor itself?
Apologies if this is already implemented or discussed elsewhere, but a quick search did not reveal. When does the editor update the p5.js library? Does it do this only with new editor releases? Should we have an option to "check for new p5.js library" on a per project basis? Or just for the editor to use when making new projects? We certainly shouldn't override library files in existing projects unless the user asks to. A simple behavior might be to just check each time on launch and ask "do you want to update p5.js?" How can we make this clear to the user that this is different than updating the p5.js editor itself?