Sign in - Google Accounts
Not your computer? Use a private browsing window to sign in. Learn more about using Guest mode
Profile - 枕を欹てて聴く
FirefoxのProfile関係はXulPlanetにあるのが少し古いみたいでCc['@mozilla.org/profile/manager;1']は今はない. // Cc = Components.classes, Ci = Components.interfaces var ProfileService = Cc['@mozilla.org/toolkit/profile-service;1'].getService(Ci.nsIToolkitProfileService); var profile = ProfileService.selectedProfile;// nsIToolkitProfile alert(profile.name); みたいな感じで取得, 操作できる. nsIToolkitProfileServiceは概ねnsIProfileと同じメソッドを持ってる.
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
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ファイルを保存します。 メニューバーの「ツール > 設定」から「設定」ウィンド
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Twitter NG Word Filter 0.2をリリースしました - cherenkov's暗中模索blog
Javascript register window/tab closing event before window/tab close
youtube_AutoPagerize_fix.js : github
GitHub - defunkt/dotjs: ~/.js