This domain may be for sale!
AI New AI Feature Drop: Opera One Developer gets a new Aria access point and now... March 14th, 2024 In this week’s AI Feature Drop, early adopters using the Developer stream of Opera One can test using the Aria... AI, Opera for Android Opera for Android 81 now comes with Ask Aria and Aria Voice features for improved... March 13th, 2024 Opera for Android 81 introduces Ask Aria and Aria Voice, enha
今のOperaのスクリーンショットを撮影してみた。パネルに出しているのはGreaseOperaと云う名前のUser JavaScriptマネージャ。カンマ区切りによるUserJS読み込み元の複数同時指定に対応していない事をのぞけばほぼ完璧といえる。なかなか便利。 この記事中にあるGreaseOperaを導入する際はGreaseOperaが上手く動かないを参照すると良いでしょう。GreaseOperaはベータ版でありその動作は完全なものではありません。導入に際してもいくらかの注意点があります。例えばopera6.iniの場所がC:\Documents and Settings\USERNAME\Application Data\Opera\profile\opera6.iniに決めうちされている為に複数プロファイルを使い分けている人間は一工夫必要となりますし、前述の通りUserJS読み込み元
FirefoxとOperaには、通常のオプションでは設定できない細かい設定を行う為の措置が施されていて、Firefoxならabout: config、Operaならopera:configとアドレス欄に入れて移動するだけで、簡易的だが各種設定を行うことができる。 設定できるといっても、名前から判断できない項目がズラっと羅列されるだけで、設定したい対象を予め調べなければいけないので手間がかかってしまう。 Operaの場合、Opera6.ini の設定 なんてページが用意されているので、ある程度は内容を把握することができる。が、それでもタブを2つ並べて両方見比べるといったことが必要になるので面倒には変わらない。(余談だが、.comの方はちゃんとopera:configの該当項目へのリンクが張ってあるのでいくらかマシだったりする。) Operaが流行らない理由の一つである、できることが多すぎて思
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く