mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-07-15 04:55:22 +02:00
trivial bug - need to make sure encoding didn't change before using a cached temp file
This commit is contained in:
parent
c702e915b3
commit
d12ef1cad9
1 changed files with 3 additions and 1 deletions
|
@ -581,7 +581,9 @@ public class SystemEditableRemoteFile implements ISystemEditableRemoteObject, IP
|
|||
}
|
||||
else
|
||||
{
|
||||
if (properties.getUsedBinaryTransfer() == remoteFile.isBinary())
|
||||
if (properties.getUsedBinaryTransfer() == remoteFile.isBinary() &&
|
||||
properties.getEncoding().equals(remoteFile.getEncoding()) // changed encodings matter too
|
||||
)
|
||||
{
|
||||
// we already have same file, use the current file
|
||||
refresh();
|
||||
|
|
Loading…
Add table
Reference in a new issue