Attention droids and droidettes: Opera has released a final version (as in non-beta, not the last version ever) of Opera Mini 4.2 for Android. It’s available now in the Android Market and includes the following changes from the last beta:
- Now you can upload and download files through Opera Mini and save pages for offline viewing
- Videos will be redirected to the system’s video player
- Double tap now works for zooming in and out
- Inline URL entry instead of using native input
- Fixed password text entry to hide characters
- Fixed problems with exiting application when back button was pressed
- Improved trackball speed
- All internal pages, like the start page, now have font size extra large for easier navigation
Beta is so 2008, anyways…