Se il problema non si risolve
è probabile che la tua collega NON abbia
chiuso il file in questione,
quindi ps ad ogni accensione
cerca il file su cui lavorava.
Chiudi tutti i lavori
e dovrebbe tornare normale.