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 项目的维护者之一。

于 2012-07-03T16:33:04.183 回答