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