|
Lines 1-5
Link Here
|
| 1 |
/******************************************************************************* |
1 |
/******************************************************************************* |
| 2 |
* Copyright (c) 2004, 2008 IBM Corporation and others. |
2 |
* Copyright (c) 2004, 2010 IBM Corporation and others. |
| 3 |
* All rights reserved. This program and the accompanying materials |
3 |
* All rights reserved. This program and the accompanying materials |
| 4 |
* are made available under the terms of the Eclipse Public License v1.0 |
4 |
* are made available under the terms of the Eclipse Public License v1.0 |
| 5 |
* which accompanies this distribution, and is available at |
5 |
* which accompanies this distribution, and is available at |
|
Lines 7-12
Link Here
|
| 7 |
* |
7 |
* |
| 8 |
* Contributors: |
8 |
* Contributors: |
| 9 |
* IBM Corporation - initial API and implementation |
9 |
* IBM Corporation - initial API and implementation |
|
|
10 |
* Markus Schorn (Wind River) - [108066] Project prefs marked dirty on read |
| 10 |
*******************************************************************************/ |
11 |
*******************************************************************************/ |
| 11 |
package org.eclipse.core.internal.resources; |
12 |
package org.eclipse.core.internal.resources; |
| 12 |
|
13 |
|
|
Lines 299-304
Link Here
|
| 299 |
if (projectPrefs.isWriting) |
300 |
if (projectPrefs.isWriting) |
| 300 |
return; |
301 |
return; |
| 301 |
read(projectPrefs, file); |
302 |
read(projectPrefs, file); |
|
|
303 |
// Bug 108066: In case the node had existed before it was updated from |
| 304 |
// file, the read() operation marks it dirty. Override the dirty flag |
| 305 |
// since we know that the node is expected to be in sync with the file. |
| 306 |
projectPrefs.dirty= false; |
| 307 |
|
| 302 |
// make sure that we generate the appropriate resource change events |
308 |
// make sure that we generate the appropriate resource change events |
| 303 |
// if encoding settings have changed |
309 |
// if encoding settings have changed |
| 304 |
if (ResourcesPlugin.PI_RESOURCES.equals(qualifier)) |
310 |
if (ResourcesPlugin.PI_RESOURCES.equals(qualifier)) |
