タグ

tutorialとuserscriptとoperaに関するCherenkovのブックマーク (1)

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

    Cherenkov
    Cherenkov 2010/08/06
    user script userjs ユーザースクリプト 使い方
  • 1