Nicer playback behaviour when switching tabs and open/close/new file.