タグ

vimperatorに関するpick_mugetuのブックマーク (7)

  • VimFx メモ - クマーなひとときv2

    [:SKK] [:vim] [:Firefox] vimfx 長い間FirefoxとVimperatorの組み合わせにお世話になってきた。けど。 Vimperatorはe10sにまだ対応出来ておらず、fx48では以前Nightlyで試した通り動かなかったので、他のVim拡張試してる。 VimFx :: Add-ons for Firefox e10sにも対応済みな模様(install.rdfのmultiprocessCompatibleタグ参照)。 Nightly + e10s環境でもう一ヶ月近く使ってるけど、今のところ大きな問題は起きていない。 というわけで、メモまとめ。画像多いので、目次以降は続きにする。 概要 導入 基的な操作 機能 設定画面から色々変更可能 ヒントに関する操作 画面上要素にフォーカス ツールバーのクリック 要素を右クリック GCLIとかいうのが使える 設定ファイル

    VimFx メモ - クマーなひとときv2
  • Vimperatorに取って代われるかも知れないアドオンVimFx

    VimperatorがFirefox 51で動かなくなり、自分で修正xpiをインストールしたりしてたのだけど、その時、 Vimperatorを代替できるアドオンとして VimFxなるものの存在を知り、それ以降はずっと VimFxを使っている。 追記: 2017-10-21 VimFxもFF57で使えなくなる。参考: Turn VimFx into a WebExtension 追記ここまで 追記: 2017-10-23 Vimium-FFの使用感想はこちら 追記ここまで VimFx メモ - クマーなひとときv2←こちらのブログを見て頂ければ、それで事足りる。私の設定も殆ど、ここからのパクりだ。以下、私の戯言を読みたい人はどうぞ。 修正されたvimperator 3.16.0であっても、マルチプロセスウィンドウが有効の状態では、TypeError: 'stopPropagation' ca

  • vimperator で ignorekeys を設定する

    サイトによっては vimperator を無効にしたい vimperator はものすごーく便利ですが、無効にしたいサイトもあります。 Gmail Google Reader Google Calender etc… ってなんかGoogleばっかですが…他にも独自のショートカットが設定されてるサイトとかは vimperator のマッピングが逆に邪魔になることもあると思います。 便利機能 ignorekeys で、そんな時に使える便利機能 ignorekeys というものがあります。 コマンドモードで、 ignorekeys add mail\\.google\\.com とすることで、指定したサイトは vimperator のキーマップを無効に出来ます。 で、さらに便利なことに、 ignorekeys add mail\\.google\\.com -except b,o,: とかすると

  • VimperatorでGreasemonkeyみたいな事をする - wlt’s blog

    2010/02/09修正: Google検索のやつをFirefox 4.0b11でも動くようにした 特定のウェブページにちょっとしたユーザスクリプトを当てたい事があるけど、グリモンに追加するほどのものでもないし、さくっとVimpだけでやりたい時がある。Vimpにはそもそもautocmdコマンドがあるのでこれを使えばいいけど、ちょっと面倒。と言うわけで簡単なユーティリティ関数を書いた。 // Greasemonkeyライクなautocmdユーティリティ // window, unsafeWindowの代わりにcontent, unsafeContent function vimpMonkey(urlRegexPattern, func) { var cmd = eval('(function(args) {' + 'var content = tabs.getTab(args.tab - 1

    VimperatorでGreasemonkeyみたいな事をする - wlt’s blog
  • はてなグループの終了日を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日(金)に決定しました - はてなの告知

    はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28

    はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
  • はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知

    はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28

    はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
  • 1