AutoRefresh: A python tool for autorefreshing web pages while editing them.

Related

• If you're on Linux and use a different browser you can do the same using xdotool...

  news.ycombinator.com · 2010-06-27