Minibuffer 2007.11.15 の変更点 | 3.14
author:snj14 email:esnj14@gmail.com web:http://white.s151.xrea.com/blog/ home:Shizuoka,Japan about:blog,my outputs 全体的に書きなおしましたキーの定義時に修飾子の順序を入れ替え可能にしましたつまりA-C-mでもC-A-mでも大丈夫に2ストローク以上のショートカットキーを使えるようにしましたショートカットキー定義をネストさせてます (xyzzyの実装方法を参考にしました)ヒストリ/エイリアスを補完の種類ごとにもてるようにしましたエイリアスが侵食してこないようにショートカットキーだけで使うときにもセレクションを取得できるようにしました補完候補の一覧を複数のページで表示させるようにしましたC-v(PageDown)/M-v(PageUp) でページの切り替え最大値はMAX_CANDI
google reader full feed changer その4 | plutoの日記 | スラド
これまでのSITEINFOまとめ INTERNET Watchもこれでいけるようになったけどたまにだめかも。 { url: 'http://d.hatena.ne.jp', // はてなダイアリー xpath: '//div[@id="days"]/div[@class="day"]/div[@class="body"]/div[@class="section"]', charset: 'EUC-JP', }, { url: 'http://green.ap.teacup.com/', xpath: '//div[@class="postbody"]', charset: 'Shift_JIS' }, { url: 'http://cnanews.asablo.jp/blog/', xpath: '//div[@class="msg-body"]', }, { url:
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
google reader full feed changer Userscripts.org
