Speichern des Quelltextes in der IDE funktioniert nicht mehr

[PeterPanino]

Jetzt ist der Fehler wieder aufgetreten! Das erste Mal kommt diese Fehlermeldung:

---
'[Projektverzeichnis]\MainDB.$$$' kann nicht zu
'[Projektverzeichnis]\MainDB.pas' umbenannt werden.
---

und dann bei den darauffolgenden Versuchen, die Quelltextdatei zu speichern, die übliche Fehlermeldung:

---
'[Projektverzeichnis]\Main.pas' kann nicht zu
'[Projektverzeichnis]\_history\Main.pas.~15~' umbenannt werden.
---

Ich habe dann das _history-Verzeichnis im Antivirenprogramm als Ausnahme eingetragen, aber es hat nicht geholfen. Das Antivirenprogramm ist es also nicht.

Dann habe ich versucht, die Datei 'MainDB.$$$' (siehe oben) umzubenennen oder zu löschen, aber bei jedem Versuch, die Quelltextdatei zu speichern, wird 'MainDB.$$$' neu erzeugt! Welche Funktion hat 'MainDB.$$$'? (Diese Datei enthält den gespeicherten Quelltext von MainDB.pas).

Was könnte die Ursache dieses Fehlers sein?