Comment 40 for bug 722285

I'll check tomorrow and see what it does. I'm pretty sure I would have noticed if the playhead had disappeared during playback - but then again, I was concentrating on getting the video edited so maybe my attention was elsewhere.