Opera rolls out new update for its developer version, Opera Developer 20.0.1387.2 What’s new in Opera Developer 20.0.1387.2 ? – Clearing of session cookies when quitting Opera – New chrome extensions API-chrome.proxy and chrome.downloads – JavaScript dialogs have changed Other changes in Opera Developer 20 – Big Speed Dial thumbnails are turned on by default