Chrome doesn't remember scroll position properly so do it ourselves. Also works on Firefox and Edge.
function updateState() {
  history.replaceState(
    {
      left_top: split_left.scrollTop,
      right_top: split_right.scrollTop
    },
    document.title
  );
}