Da stimmt natürlich!
Ich bin jetzt davon ausgegangen: man bleibt irgendwo völllig ruhig stehen, nichts passiert im Hintergrund - man drückt F5 und speichert... dann sollte es mit F9 auch keine Probleme geben.