Vimperator でキーが効かなくなる現象 - つらねの日記
前置き 最近Vimperator というFirefox addon を利用していた。 addons.mozilla.org キーボードだけでブラウジングができるという優れものなわけだが、時たま唐突にキーが効かなくなることがあった。 特に、(なんのためのaddon だという話だが)マウスを使って操作した後に動作しなくなることが多かった。 機嫌でも崩したのか？ で、せっかく入れたのにそれを否定するような操作をしたから機嫌でも崩したのだろうかと考えていた。 治す方法といえば、新しいウィンドウをCtrl+nで開き、 (新しいウィンドウでは操作が効くので):restart でFirefox を再起動するくらいしかできなかった。 原因は 面倒くさい修正方法を使いながら結構な時間をともにしていたわけだが、先ほど原因が判明した。 マウスによる操作で機嫌を崩す、というのは結局間違いだったわけだが、 Fire
Firefox44で使えなくなったVimperatorとはてなブックマークFirefox拡張を使えるようにする | SanRin舎
Firefox44からES6の準拠するためにconstとletの挙動が変更された 1 2 。 アドオンが影響を受けたので使えるようにする。 Vimperaterはすでに修正版がAMO(Mozilla Add-ons)に上がっているようなのでなにもしなくてもよいが、上る前だと、 Releases · vimperator/vimperator-labs に最新版のxpiがあるのでそこからダウンロードするか、gitレポジトリをcloneして make して、downloadsディレクトリ以下にできたxpiをインストールする必要があった。 一方、はてなブックマークFirefox拡張は修正のプルリクが来ている。 Fx44+: Fix modules to be loaded correctly. by gifnksm · Pull Request #17 · hatena/hatena-book
グラフィカルなポジション表示プラギン graphical-position.js (for Vimperator) 書いた - jagua's blog
はじめに 簡単に言うと Vimperator で現在の垂直スクロール位置を表示するデフォルトの設定である set status=position のテキストではなくて円グラフで表示する版．名前は graphical な position ということで gposition とした． position と gposition の対応表 位置 position と gposition の 実際の表示 0% 69% 100% (Loading *1 ) Google トップのように 一ページ内に収まってるケース 分かりにくいけど，一番右の円っぽい図形（だけ）が gposition 担当． 設定，または set noscrollbars ノススメ graphical-position.js 上記ファイルを plugin フォルダに置くだけで有効になる． 内部で set status+=gpositi
Vimperator プラグインマネージャを作ってみた - cd01 の blog
Github page に自力で作ったブログに書いてたけど、自力で運用するのが面倒になってきたのと 自分で読みたくてググっても引っかかってこなかったので、こっちに貼っておく。 cd01/vimppm https://github.com/cd01/vimppm Firefox 20 にアップデートしたあたりで、 Vimperator のプラグインが最新の状態になっていなくて、 動かなくなってたけど、アップデートが面倒で、プラグインなしで生活してたり、 新しいパソコンの設定で、 Vimperator をインストールして、 .vimperatorrc を晒してるものにしたりする ところまではやるけど、プラグインは面倒くさくて、そのままだったりして、 プラグインの管理が面倒だったので、オレオレプラグインマネージャを作ってみた。 使い方としては、 ~/.vimperator に vimppm ディ
Vimperatorプラグインを書いてみたい人のためのtips - おいら屋ファクトリー
Vimperator Advent Calendar 2012 4日目のebithです。 今日はVimperatorプラグインを書いてみたい、もしくは書こうとは思ったけど良くわからなかった人向けの情報などを紹介します。 だいたいは僕がプラグインを作り始めた時に困ったりハマったりしたことですが、お役に立てれば幸いです。 そもそもどう書けば良いの サンプル用のプラグインにプラグインには欠かせないコマンドやマッピングなどの定義例が書いてあります。 また、vimpr/vimperator-pluginsには200近いプラグインがあるので参考になるはずです。 プラグイン作るときに便利なやつ ライブラリ Vimperator組込みのutilや_libly.jsがあります。 コマンド :jsや:echoを使えば手軽にJavaScriptを実行できます。例) :echo util :sourceがプラグイ
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
Vimperator の設定をプロファイル毎に使いわけよう！ - Vimperator Advent Calendar 2012 二日目 - 地獄のネコブログ
Vimperator Advent Calendar 2012 二日目担当、日本目光会の anekos です。 今日は、Firefox / Vimperator 使い込みのために、プロファイル毎に Vimperator の設定を分ける方法を紹介します。 (以下、Windows ユーザの方は、「.vimperatorrc」を「_vimperatorrc」に、「.vimperator/」を「vimperator」に置き換えて読んでください。 まずはじめに。 今使っている設定ファイルはどこかに退避しておきましょう。 (ただし、「.vimperator/info」 ディレクトリだけはそのままにしておきましょう。) そして、以下のファイルを https://raw.github.com/vimpr/vimperator-rc/master/anekos/.vimperatorrc_for_root
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
VimperatorでRequestPolicyを操作する - wlt’s blog
2011/05/10: いつの間にかrが動かなくなってたので修正 VimperatorからRequestPolicyのポップアップを表示したり、リダイレクト制御の許可をさせたりできるようにする。 マッピングは次の通りにしてある リダイレクトのオプション gro リダイレクトの許可 grr 操作用ポップアップ表示 r .vimperatorrcに以下を追加 "" アドオンRequestPolicyの操作 " 操作用ポップアップ表示 " cf. chrome/requestpolicy.jar/content/overlay.js : openStatusbarPopup()と_attachPopupStatusbar() javascript <<EOM mappings.addUserMap( [modes.NORMAL], ["<Leader>r"], "Open RequestPoli
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
vimperatorからtomblooを利用してtumblrのアカウントを切り替える - zaknakの日記
vimperatorからtomblooのサービスを利用してtumblrやはてなのアカウントを切り替えます。要tombloo かつ tombloo のアカウント切り替え機能が動作すること。 http://github.com/zaknak/vimperator/raw/master/plugin/logintumblr.js コード貼ってあったけど省略 http://github.com/zaknak/vimperator/tree/master/plugin まで。 使い方 :logintumblr[!] [e-mail] [passwords] :loginhatena[!] [id] [passwords] 第1引数にログインしたいアカウントの e-mail または id を指定して実行します。タブ押下でログインマネージャに保存されているアカウントが補完リストに表示されるので、 通常は
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
rememberthemilk.jp