My OperaThe My Opera forums have been replaced with forums.opera.com. Please head over there to discuss Opera's products and features
See the new ForumsYou need to be logged in to post in the forums. If you do not have an account, please sign up first.
【要望】android版 opera mobileの標準の検索エンジンの変更について、またCustom User-Agentについて
現在android版のopera mobileで、標準の検索エンジンを変更する方法がありません。configのsearch typeから変更しようにもsearch.iniのIDをandroidでは見る方法がなく、また元の標準の検索エンジンであるgoogleを消すこともできません。
何かしらの方法で標準の検索エンジンを変更できるようにしてもらえないでしょうか？
もう一つ、configのCustom User-Agentに文字列を入力した場合にそのままuser-agentといて使うのではなく、
Spoof UserAgent IDが特定の値（例えば8など）にしたときに適用してして欲しいと考えています。
Spoof UserAgent IDが2や3の時は今まで通りieやfirefoxのuser-agentで、同様に8の時にCustom User-Agentに入力した文字列を使うといった具合です。
これをすることで、override.iniからサイトごとのUser-Agentの設定でCustom User-Agentの文字列を使えるようにして欲しいのです。
現在はoverride.iniで元から決まったuser-agent以外指定することが出来ません。
またCustom User-Agentを設定しているときには、override.iniからサイトごとのUser-Agentを設定してもCustom User-Agentのほうが優先されてしまうため個別に設定できません。
Custom User-Agentを使いたいと思う場面は特殊でそう多いサイトではないのでサイトごとの設定で使えればいいと思い要望を出しました。
もし可能ならよろしくお願いします。