タグ

関連タグで絞り込む (0)

  • 関連タグはありません

タグの絞り込みを解除

operaに関するshooohのブックマーク (3)

  • はてなが、はてなブックマークOpera extensions を作ってくれないから… - ゆず日記

    現状。 どうして、はてなさんは、 - あまたの何かしら。 ただ、仮にリリースされたとしても、ボクはOperaでアドレスバー表示していない為Chromeのようにアドレスバーの横に表示されても見れない。 参考: ボクのOpera(見やすく縮小)。アド・・レスバー・・・? 参考: Chromeのはてブ拡張。常にアドレスバーやExtensionsのアイコンが表示されてちょっと邪魔。 ※ Extensionsのアイコンは隠せるそうです。 Google Chromeの拡張のアイコンが邪魔なので、消したい! - あまたの何かしら。 なのでUserJSで作った。 や、ブックマークレットとはてブ追加ボタン組み合わせただけなんですけど。 yuzuemon/append-hatebu · GitHub // ==UserScript== // @name append-hatebu.user.js // @in

    はてなが、はてなブックマークOpera extensions を作ってくれないから… - ゆず日記
    shoooh
    shoooh 2011/09/02
  • Opera の設定ファイルの解説

    Explore the categories to the left Browse through the categorized sections on the left to learn more about Opera browsers. If you have a specific question, we recommend you search in the FAQ section. For the latest news and updates, check out Opera’s Blog. Update your browser Your Opera browser will automatically update when a new version is available. You can check its status in Update & Recovery

    Opera の設定ファイルの解説
    shoooh
    shoooh 2011/09/02
  • User JavaScript - Opera Wiki

    [編集] User JavaScriptについて User JavaScriptとは? 制作者の用意するJavaScriptに加え、ユーザがローカルに保存した任意のJavaScriptを処理できるようにする仕組み。 Firefoxの拡張機能Greasemonkeyとある程度の互換性を有している。 UserJSと省略して呼ばれることもあります。 ユーザー JavaScript による制御http://jp.opera.com/support/tutorials/userjs/ [編集] User JavaScriptを使うには? フォルダを作成します。(よくわからない場合はマイドキュメントなどに「userjs」などというフォルダを一つ作るよよいでしょう。) 作成したフォルダに、任意のユーザーJavaScriptファイルを保存します。 メニューバーの「ツール > 設定」から「設定」ウィンド

    shoooh
    shoooh 2011/09/02
  • 1