Opera Developer 20.0.1387.2 update

Another Opera Developer build is out of the door. You have been waiting for it while we worked on stabilizing Opera 19, but it’s worth the wait. This changelog contains a bunch of fixes. Want to see if the bugs that bothered you are now resolved? Install the updated Opera Developer desktop browser and give it a try.
PS: What you see here is the start of the next Opera Next.
Highlights
- Clearing of session cookies when quitting Opera
- New chrome extensions API – chrome.proxy and chrome.downloads
- JavaScript dialogs have changed
Known issues:
- Broken extension pop-out windows on Windows
Downloads
- Opera Developer netinstaller for Windows
- Opera Developer for Windows (Offline)
- Opera Developer for Mac