save/restore position of the window divider