FirefoxとGmailユーザーなら、おすすめFirefox拡張機能：Better Gmailのまとめ 管理人 @ 6月 9日 12:30am Firefox, Gmail（Gメール） Gmailはとても便利！ 「でも、あと少し、改良すれば・・」 って思うところを、改善してくれる、Firefoxエクステンション「Better Gmail」の紹介です。 おすすめ度１２０％です。 「Better Gmail」は30種類以上ものFirefox Greasemonkeyスクリプトを、1つの拡張機能で使えるようにしたものです。 アドオン（拡張機能）なので、「 Greasemonkeyスクリプトって何？」って人でも、気軽にインストールすることができます。 メニューバー 「 ツール ＞ アドオン ＞ Better Gmail 」の「設定」で、それぞれのスクリプトを有効にするか設定できます。 このページ
気に入ったページをはてなブックマークでブックマークするのはとても簡単で便利です。しかし、せっかくブックマークしたページをあまり効率よく活用できていないと感じたことはありませんか？それはどんな時に感じるのでしょう？では、具体例で説明してみます。 私はこんなことをよくします。あるソフトウェアを開発していて、そのソフトウェアの技術に関連するページを次々はてなブックマークに追加していきます。そして、十分に情報が集まったところで、今度はコーディングを開始し、それらのブックマークも同時に漁り始めます。ブックマークを漁ってはFirefoxのタブに追加、またコーディング。そんなことを繰り返しているうちに、あっという間にタブの数は十数個になります。そしてソフトウェアの開発は進みます。 ここでソフトウェアの開発を中断させる出来事が発生します。色々試行錯誤しているうちに集中力が無くなりPCをシャットダウンして寝
Webページ上でみんなとわいわいできるGreasemonkeyスクリプトを書きました。 wwwlife.user.js 使い方 Greasemonkeyが入っているFirefoxでwwwlife.user.jsをクリック、スクリプトをインストールします。 メニューの ツール > Greasemonkey > User Script Commands > Play WWWLife を選ぶと女の子が出てきます 方向キーで操作。枠線などそれっぽいところを歩けます。 右上の青いところで名前を変えます。はてなのプロフィール画像がでます。 右上のばってんボタンをクリックすると終了します。 特徴など Lingrを使っています → http://www.lingr.com/room/5KYXVjGQHJH APIで部屋を作れないので部屋は一つだけです。数十人でパンクすると思われます。 認証がないとか、話せ
はてなブックマーク関連 はてブお気に入りサジェスタ最近ブックマークした記事からお気に入りユーザを推薦web お気に入りアレンジお気に入りページの重複エントリを人気順にまとめる＆既読エントリを非表示化greasemonkey 全サイトはてブ化各サイト下部にコメント表示・その場でクリップ・ワンクリでブクマgreasemonkey ↑の体験版IEでもSafariでもOK。コメント表示のみweb ビジュアルホッテントリ人気エントリを一望に見渡すweb Google×はてブ Googleの検索結果にはてブのユーザ数を表示するgreasemonkey はてブカレンダー2005カレンダー形式で人気エントリを表示。タグ指定可web ほてんこホッテンコメントを眺めながら適当に記事を拾うweb ちゅもえんこ↑は人気エントリで、こっちは注目エントリ。どちらも読んだ端から消えていくweb はてブ透明あぼーんはてブ
Greasemonkeyでテキストエディタに影響され、 同じようなものを作ってみてしまいました。 Emacsチックにして、JavaScriptでコンフィグしたり何やりできたらいいかな〜と思い、 それを実現したつもりです。 こちら↓です。 g_editor.user.js [特徴] ・Greasemonkey名前空間内に仮想ファイルシステムを構築し、それを利用 ・JavaScriptで設定やら何やらする ・その延長で、Greasemonkeyっぽいこともできる ・その延長で、HTTPアクセスしてHTMLとかをテキスト編集エリアに出力 [使い方など] Greasemonkeyの名前空間（？）に仮想的なファイルシステム（っていうのかな？）を作ります。 ファイルパスセパレータは"/"で、ルートは"/"です。 インストール後、最初の実行状態では"/"しかありません。 が、最初の初期化処理で/init
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
