Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.
View | Details | Raw Unified | Return to bug 202095 | Differences between
and this patch

Collapse All | Expand All

(-)src/org/eclipse/core/internal/resources/PathVariableManager.java (-1 / +2 lines)
Lines 14-19 Link Here
14
import java.util.*;
14
import java.util.*;
15
import org.eclipse.core.filesystem.URIUtil;
15
import org.eclipse.core.filesystem.URIUtil;
16
import org.eclipse.core.internal.events.PathVariableChangeEvent;
16
import org.eclipse.core.internal.events.PathVariableChangeEvent;
17
import org.eclipse.core.internal.utils.FileUtil;
17
import org.eclipse.core.internal.utils.Messages;
18
import org.eclipse.core.internal.utils.Messages;
18
import org.eclipse.core.resources.*;
19
import org.eclipse.core.resources.*;
19
import org.eclipse.core.runtime.*;
20
import org.eclipse.core.runtime.*;
Lines 201-207 Link Here
201
				preferences.setToDefault(getKeyForName(varName));
202
				preferences.setToDefault(getKeyForName(varName));
202
				eventType = IPathVariableChangeEvent.VARIABLE_DELETED;
203
				eventType = IPathVariableChangeEvent.VARIABLE_DELETED;
203
			} else {
204
			} else {
204
				preferences.setValue(getKeyForName(varName), newValue.toPortableString());
205
				preferences.setValue(getKeyForName(varName), FileUtil.canonicalPath(newValue).toPortableString());
205
				eventType = variableExists ? IPathVariableChangeEvent.VARIABLE_CHANGED : IPathVariableChangeEvent.VARIABLE_CREATED;
206
				eventType = variableExists ? IPathVariableChangeEvent.VARIABLE_CHANGED : IPathVariableChangeEvent.VARIABLE_CREATED;
206
			}
207
			}
207
		}
208
		}

Return to bug 202095