Opera
今更って感じですが 管理画面を開く(デフォルトでは「e ctrl shift」) Manage, "extensions"別ウィンドウで管理画面を開く(機能しない。今後に期待) Manage extensionsサイドパネルで開く(現時点では使い物にならない。今後に期待) Focus panel, "extensions…
Chromium*1 の場合 ツールバーのレンチ > Preferences で Chromium Preferences を開く。 Under the Hood タブの Downloads の項に Download location がある。そこで任意の場所を指定。 ついでに Ask where to save each file before downloading は外して…
インストール前 (本題とは関係無いっす) うちの環境では apt ラインに deb http://deb.opera.com/opera/ lenny non-freeと設定しているんだけど、update を実行すると GPG error が出る。 こんな時はどうすればいいんだっけ? とググっていたら、こんなページ…
閲覧しているページのリンクを作成する場合など Opera アクションを駆使すればクリップボードに突っ込むなんてことも出来ますが、私はブックマークレットを使っています。んで、結果は window.prompt() でポップアップさせるわけですが… それをコピーして閉…
Opera のローカルブックマーク狂な人向け Opera のプロファイル/menu/*.iniの [Hotclick Popup Menu] あたりに Item, "ブックマークから検索"=Manage, "bookmarks" & Delay, 500 & Focus search field & Delay, 500 & Clear & Delay, 500 & Paste mouse sele…
今日の Tips - Another 朝顔日記 の話だよ!! Opera でも出来たよ!! マウスジェスチャーの設定で Application の FlipBack に Back | Close pageを設定すればいいと思うよ!! 期待通りの動きじゃないです＞＜ 「タブを閉じるとき」の設定によるよね!! 「次のタ…
2010/02/07 緊急追記 (既にご存知かとは思いますが念のため、) Opera を標的としたマルウェアが発見されたそうです。マスターパスワードは紛失するとリセットが面倒ですが、セキュリティのためにも設定は必須です!! FFFTPに加えEmFTP、FileZilla、WinSCP等も…
前回に引き続き、モヤモヤを整理してみました。誤り等がございましたら、ご指摘をいただけると幸いです。 UserJS の拡張子により処理が異なる。 拡張子が .js の場合は、通常の UserJS として処理される。 拡張子が .user.js の場合は、GreaseMonkey 記法の …
私の脳内でモヤモヤしていたものを整理してみました。誤り等がございましたら、ご指摘をいただけると幸いです。Opera の UserJS とは？Opera*1 ではアクセスした Web ページに対し、追加で任意の JavaScript を適用できる機能(初期設定ではオフ)がある。その…
