I checked my home PC which also runs Opera 12.17 now (on windows XP), it never removes my default duckduckgo.com search.
The differences between my home PC (never resets to google) and my office PC (often resets to google, but not always), that I can think of follow.
They are both Opera 12.17 but one is OK (home PC keeps my default search settings which is not one of the opera defaults : duckduckgo) and one is NG (company PC often resets to google) :
- OK is a pre-12.15 install (version 9 or something updated little by little up to 12.17) whereas NG is a post-12.15 install updated to 12.17
- OK runs on windows XP whereas NG runs on windows seven
- OK did use opera link for a while (affects search.ini) but NG never did (because company firewall had always blocked my attempts to do so)
- Together with the previous point, maybe there is another difference in the search.ini and I will compare OK’s and NG’s to find out later…
I research whether it is possible to find a reproducible way to obtain my OK home PC, that is Opera 12.17 with a default search.