diff options
| author | Mathias Kinzler | 2011-06-01 15:30:38 +0000 |
|---|---|---|
| committer | Matthias Sohn | 2011-06-01 15:40:57 +0000 |
| commit | 547708a4718b9f639a7eaa57d88ae30ff4b8935c (patch) | |
| tree | ae670802f1769cb1771bfb50b35f224761a0b948 | |
| parent | 4347a21fa0e7c1979839ea4fb77573c9e71da87c (diff) | |
| download | egit-547708a4718b9f639a7eaa57d88ae30ff4b8935c.tar.gz egit-547708a4718b9f639a7eaa57d88ae30ff4b8935c.tar.xz egit-547708a4718b9f639a7eaa57d88ae30ff4b8935c.zip | |
Don't show Repository in Workspace warning if not necessary
The warning should only be shown when the user is about to create a
repository in the Eclipse workspace.
Bug: 347454
Change-Id: If1a871f4590f0f68838fdfdf1d0236dd36c2fa90
Signed-off-by: Mathias Kinzler <mathias.kinzler@sap.com>
Signed-off-by: Matthias Sohn <matthias.sohn@sap.com>
| -rw-r--r-- | org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/sharing/ExistingOrNewPage.java | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/sharing/ExistingOrNewPage.java b/org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/sharing/ExistingOrNewPage.java index ba1834bfbe..e0205a682a 100644 --- a/org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/sharing/ExistingOrNewPage.java +++ b/org.eclipse.egit.ui/src/org/eclipse/egit/ui/internal/sharing/ExistingOrNewPage.java @@ -608,8 +608,10 @@ class ExistingOrNewPage extends WizardPage { setPageComplete(pageComplete); // provide a warning if Repository is created in workspace for (IProject project : myWizard.projects) { - if (ResourcesPlugin.getWorkspace().getRoot().getLocation() - .isPrefixOf(project.getLocation())) { + if (button.isEnabled() + && ResourcesPlugin.getWorkspace().getRoot() + .getLocation() + .isPrefixOf(project.getLocation())) { setMessage( UIText.ExistingOrNewPage_RepoCreationInWorkspaceCreationWarning, IMessageProvider.WARNING); |