Updates on the Arduino Web Editor

July 21 release:
Fixed show examples for just imported library
Fixed navigation for mobile landscape mode
Fixed autoscroll disabled behavior in Serial Monitor
Added 'copy link' and 'open preview' buttons to share popup
Added donate button for users with more than 3 sketches
Fixed homepage navigation link
Sketch now saved all together and fixed file rename bug
Search and filter libraries and examples refactoring
Support for Pro and Pro Mini
Updated tab style