2

この種の作品は、あなただけがすでにそのページを開いている必要があります。最適には、正しいタブに移動するか、使用できない場合は新しいタブを開きます。これを行うには、どういうわけかブラウザの状態を取得する必要があります（私の場合はIceweasel）。（ブラウザがあるかどうかを確認する必要があります。今では気づきました。しかし、それは簡単です。psでそれを行うことができます。）

(defun save-source-update-browser ()
  "Save file, go to Iceweasel, hit F5."
  (interactive)
  (save-buffer)
  (shell-command "wmctrl -a iceweasel")
  (shell-command
    (concat "echo -e 'KeyStrPress F5\nKeyStrRelease F5' | xmacroplay "
            (getenv "DISPLAY")
            " 1> /dev/null 2> /dev/null" )))

ブラウザの状態を取得して、実際に動作させるにはどうすればよいですか？現在のページを更新します。そのページが編集中のページではない場合はどうなりますか？その場合、それを表示して更新することは意味がありません。

4

1 に答える 1

0

Swank-js は、自動的に更新を行うことができます。あなたが求めているものには少し強すぎるかもしれません。ただし、便利な追加機能がいくつか提供されます。

あなたがやりたいことは、スティッキーリモートをセットアップすることです。その後、コマンドを発行できます M-x slime-js-reload。必要に応じて、F5 にバインドすることもできます。

https://github.com/swank-js/swank-js

開示:私は Swank.js プロジェクトのメンテナーの 1 人です。

于 2012-07-03T16:33:04.183 に答える