1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-30 11:43:33 +02:00

minor fix - need to check if encodings have changed before knowning it th ecached file should be used

This commit is contained in:
David McKnight 2007-11-23 20:22:00 +00:00
parent 47567eaf27
commit abb8421491

View file

@ -116,7 +116,11 @@ public class SystemEditFileAction extends SystemBaseAction {
boolean dirty = properties.getDirty();
boolean remoteNewer = (storedModifiedStamp != remoteModifiedStamp);
return (!dirty && !remoteNewer);
String encoding = remoteFile.getEncoding();
String storedEncoding = properties.getEncoding();
return (!dirty && !remoteNewer && (encoding != null && encoding.equals(storedEncoding)));
}
return false;
}