Opera Developer update 23.0.1514.1
Today we have a new selection of fixes, plus a minor but helpful UI modification. With this update our developer stream moves to version 23.0.1514.1.
A new search box in Themes and Extensions
We find the search boxes in our WebUIs to be quite useful, so it has now been added to Themes and Extensions as well. This should help prevent you from getting lost, while trying out all the latest Opera add-ons.
Further Network installer improvements
Our Network Installer is also constantly improving. Most recently we fixed a problem that could prevent updates when the download passes through a proxy server. If you weren’t able to get the network installer to work before, we encourage you to give it another try.