>>503
もしインストする勇気があるならこのツール使うと簡単編集できるかもしれない(オレ使ったことないから保証できないけど)
↓から唯一DL出来る「Opera Search.ini Editor ( Opsed )」
search.ini - Opera Wiki
https://web.archive.org/web/20141128003325/http://ja.opera-wiki.com:80/search.ini#.E6.A4.9C.E7.B4.A2.E3.82.A8.E3.83.B3.E3.82.B8.E3.83.B3.E3.81.AE.E9.A0.86.E7.95.AA.E3.82.92.E4.B8.A6.E3.81.B3.E5.A4.89.E3.81.88.E3.82.8B.E3.81.AB.E3.81.AF.EF.BC.9F

ちなみに自分は同ページの「SearchEdit」使ってるが、これは編集問題無くできる
(今はDL出来ないみたいだが、ネットくまなく探せばget出来るかも…)