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	livereload: Fix data race in close	2017-04-30 01:10:57 +02:00
hub.go	livereload: Fix data race in close	2017-04-30 01:10:57 +02:00
livereload.go	livereload: Maintain the scroll position if possible	2017-08-22 20:26:33 +02:00