Update libraries button or meni item

Community Suggestions for the Arduino Project
1

I working with a Arduino and a raspberry pi and it is a real drag having to close arduino and restart every time you load a new library. The pi takes about 30 seconds to load every time and it then you have to reload your sketch. It would be so much easier to just reload the libraries without exiting and re-loading arduino!

Jim

2

I agree it can be a hassle. Post an issue on GitHub so the developers know people are interested: Issues · arduino/Arduino · GitHub