summaryrefslogtreecommitdiffstatsabout
diff options
context:
space:
mode:
authorVikram2013-02-11 17:14:51 (EST)
committer Curtis Windatt2013-02-11 17:14:51 (EST)
commit1aecd085ca63d8b2e77579cbf6a7a053d6928c1e (patch)
tree8559387a5083df49d4334c39814e008c11ebc9b6
parentbf05288f5cc744fcc2d84bfbfd7cbdc7700c1bef (diff)
downloadeclipse.platform.ui-1aecd085ca63d8b2e77579cbf6a7a053d6928c1e.zip
eclipse.platform.ui-1aecd085ca63d8b2e77579cbf6a7a053d6928c1e.tar.gz
eclipse.platform.ui-1aecd085ca63d8b2e77579cbf6a7a053d6928c1e.tar.bz2
Bug 193486 - [WorkbenchLauncher] Drive letter treated as case sensitivev20130211-221451I20130212-0800
on windows: Same workspace listed twice in list
-rw-r--r--bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/ide/ChooseWorkspaceData.java7
1 files changed, 5 insertions, 2 deletions
diff --git a/bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/ide/ChooseWorkspaceData.java b/bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/ide/ChooseWorkspaceData.java
index 7215ec4..64d46f3 100644
--- a/bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/ide/ChooseWorkspaceData.java
+++ b/bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/ide/ChooseWorkspaceData.java
@@ -1,5 +1,5 @@
/*******************************************************************************
- * Copyright (c) 2004, 2009 IBM Corporation and others.
+ * Copyright (c) 2004, 2013 IBM Corporation and others.
* All rights reserved. This program and the accompanying materials
* are made available under the terms of the Eclipse Public License v1.0
* which accompanies this distribution, and is available at
@@ -222,10 +222,13 @@ public class ChooseWorkspaceData {
// move the new selection to the front of the list
if (selection != null) {
+ File newFolder = new File(selection);
String oldEntry = recentWorkspaces[0];
recentWorkspaces[0] = selection;
for (int i = 1; i < recentWorkspaces.length && oldEntry != null; ++i) {
- if (selection.equals(oldEntry)) {
+ File oldFolder = new File (oldEntry);
+ // If selection represents a file location we already have, don't store it
+ if (newFolder.compareTo(oldFolder) == 0){
break;
}
String tmp = recentWorkspaces[i];