someone help me here.. I use Opera Mini 14.0.something and I had the 4 default search engines.. Few days back my 4th search engine (dictionary. com) changed automatically to duckduckgo.com.. I didn't update or allow any permission.. I don't know how and I want to change it back.. In some previous version of operamini, I'm sure I had changed a search engine by manually changing the address of the IMDB search engine and it worked.. I can't find that setting anymore.. pls help I desperately want dictionary.com back