タグ

ブックマーク / ja.opera-wiki.com (4)

  • マウスジェスチャー - Opera Wiki

    [編集] カスタマイズ 設定ダイアログの"詳細設定 > ショートカット"の『マウス設定』で、マウスジェスチャーをカスタマイズする事ができます。手順は以下の通りです。 編集したい「マウス設定」を選択。(※初めてカスタマイズする時は、「Opera Standard」を選択して下さい。) 「編集」ボタンを押す。 設定を変更またはジェスチャーを新規追加する。 「OK」ボタンを押して設定を保存する。 ちなみにユーザー独自のマウスジェスチャーの設定は、設定フォルダの「mouse」フォルダに保存されます。また「3」で既存のジェスチャーや処理を探す場合は、ダイアログ上の検索窓に入力して絞り込む方法が、便利です。 次に具体的な編集方法ですが、ジェスチャー設定ダイアログの『入力内容・ショートカット』欄にはジェスチャーを、『処理』の欄にはアクションコマンドを入力する事になります。ジェスチャーもアクションコマン

    iww
    iww 2011/03/09
    うっとおしいロッカージェスチャーの切り方
  • アクション一覧 - Opera Wiki

    Opera Browser WikiにまとめられているOpera Internal Action Command Listの動作を、みんなでまとめてみましょう。 Action名から、直感的に動作が想像できるものもあれば、そうでないものもあると思います。 わかりにくいアクションについては、詳細な動作説明を加えてください。 Operaのヘルプファイルや、言語ファイルを補完するものです。 わからないものはとりあえず「謎」と書いとくってのはどうでしょう? [編集] Opera の内部アクションコマンド・リスト Opera の内部アクションは、カスタムボタン、キーボードショートカットの定義、マウスジェスチャの定義、あらゆるメニューを作るのに使われます。全てのカスタマイズ、または Opera のデフォルトの設定はアクションとして INI ファイルに書かれています。 ここにあるのは V8.0 の設定

  • 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ファイルを保存します。 メニューバーの「ツール > 設定」から「設定」ウィンド

    iww
    iww 2010/04/25
    User Javascriptの使い方
  • アクション一覧 - Opera Wiki

    Opera Browser WikiにまとめられているOpera Internal Action Command Listの動作を、みんなでまとめてみましょう。 Action名から、直感的に動作が想像できるものもあれば、そうでないものもあると思います。 わかりにくいアクションについては、詳細な動作説明を加えてください。 Operaのヘルプファイルや、言語ファイルを補完するものです。 わからないものはとりあえず「謎」と書いとくってのはどうでしょう? [編集] Opera の内部アクションコマンド・リスト Opera の内部アクションは、カスタムボタン、キーボードショートカットの定義、マウスジェスチャーの定義、あらゆるメニューを作るのに使われます。全てのカスタマイズ、または Opera のデフォルトの設定はアクションとして INI ファイルに書かれています。 ここにあるのは V8.0 の設

  • 1