はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
Artist:Bartlett, William Henry Book Title:The Danube Technique:Metal Engraving Subject:Buildings & Monuments Artist:Howitt, Samuel Book Title:A new work of animals Technique:Etching Subject:Animals Artist:Stephanoff, Philip Francis Book Title:Leila; or, the siege of Granada Technique:Metal Engraving Subject:Narratives
タイトルそのまんまなスクリプトを書いてみました。 こちら↓です。 bookmark_with_gears_cache.user.js 当然ながらGoogle Gearsがインストールされてないと動作しません。 概略 Google Gearsにはキャッシュの機能があります。 キャッシュされたリソース(htmlとかcssとかjavascriptとか画像とか)は オフライン状態でも(Google Gearsでローカルにキャッシュしたリソースに)アクセス可能になります。 この機能をGreasemonkeyから利用して任意のページをキャッシュしてみよう、という試みです。 出先でネットワークが使えないところに行きそうだけどこのページまた読んでおきたい、といったときにこの機能でキャッシュしておくとよいと思います。 あとWebでプレゼン資料つくって、これからプレゼンだ、というようなときもキャッシュしておく
参考: 最速インターフェース研究会 :: Firefox2.0に任意のRSSリーダーを追加する方法 Adding feed readers to Firefox - MDC bookmarkletから追加するという手もあるのだけれど、それだと複数のfeedを提供しているページでの選択が基本的に出来ないのでそういう場合に対応するためにこの機能を使うと便利かもしれない。 browser.contentHandlers.types.5.title: Google Reader browser.contentHandlers.types.5.type: application/vnd.mozilla.maybe.feed browser.contentHandlers.types.5.uri: http://www.google.com/reader/view/feed/%s とすればいいので G
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く