Da hilft nur häufiges Speichern mit der, bei mir schon abgenutzten, F5-Taste.