はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
右クリック長押し+ホイールでタブ切り替え - fami-note
Operaに浮気した理由っていうのはFirefoxのモッサリ加減に突然嫌気がさしたからだったけど、OperaはOperaで上辺だけの軽さっていうか、使い始めると結構ヘンな挙動があったりしてやっぱり使えなかったから、Firefoxに戻した。 とは言え、Firefoxのモッサリもなんとかしたいので、必要最低限の物だけ残して拡張機能を削除してみたり。それで気になったのがAll in One Gestures。「これは必須だろう」と思ってたけど、userChrome.jsで事足りるのかも。どんだけこのモッサリの原因になってるかは知らないけど、噂では重いって評価をよく聞くから、必要な機能をuserChrome.jsで書いて、All in One Gesturesは削除することにした。 「http://amb.vis.ne.jp/mozilla/?p=72」の動作をロッカージェスチャの「右クリック＋ホ
はてなスターのように「wwwww」を省略し「w3w」と表示するグリースモンキー (Kanasansoft Web Lab.)
最近、インターネット上では、笑いを表現する時に「（笑）」のかわりに「w」を使う傾向が強くなっています。入力しやすい事、そして「w」の長さによってその笑いの度合いを表現できるため便利だからだと考えられます。しかし、HTMLは連続した半角英字を表示する際に自動的に折り返さず、半角英字を内包した要素が横に引き延ばされます。スタイルシート等で一応対策を打つ事が可能ですが、あまり見栄えは良くありません。 ところで、はてなスターというサービスがあります。詳細はここでは割愛しますが、このサービスでは気に入ったホームページに好きな数だけスター(☆)をつける事ができます。また、他の人がつけたスターも見る事ができるため、人気のホームページではスターが100を超える事があります。増え過ぎたスターが画面を覆い尽くす事はないのでしょうか。はてなスターではこの問題をスターを省略して表示する事で解決しています。例えば、
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
