Yihui Xie 7231d5a829 livereload: Maintain the scroll position if possible ... This fixes #3824: when the current pathname is the same as the one to be loaded, just call location.reload() so that the current scroll position can be preserved, instead of assigning to location.href, which will cause the scroll position to be lost.		2017-08-22 20:26:33 +02:00
..
connection.go
hub.go
livereload.go