commit | 8c5177086b9d7dfb5cd360fbc56912a983c3867b | [log] [tgz] |
---|---|---|
author | darins | Tue Sep 09 03:25:53 2003 +0000 |
committer | darins | Tue Sep 09 03:25:53 2003 +0000 |
tree | 99dc16bc95fc2a4049c7efadb43b7c15ba4a5b45 | |
parent | 066e942a29c17bbec2aef04d74043f2545cda352 [diff] |
Bug 42741 - Config classpath does not update for change in global Ant home
diff --git a/ant/org.eclipse.ant.ui/Ant Tools Support/org/eclipse/ant/internal/ui/launchConfigurations/AntClasspathTab.java b/ant/org.eclipse.ant.ui/Ant Tools Support/org/eclipse/ant/internal/ui/launchConfigurations/AntClasspathTab.java index 8292bce..10e8ab1 100644 --- a/ant/org.eclipse.ant.ui/Ant Tools Support/org/eclipse/ant/internal/ui/launchConfigurations/AntClasspathTab.java +++ b/ant/org.eclipse.ant.ui/Ant Tools Support/org/eclipse/ant/internal/ui/launchConfigurations/AntClasspathTab.java
@@ -140,13 +140,14 @@ */ public void performApply(ILaunchConfigurationWorkingCopy configuration) { - configuration.setAttribute(IAntLaunchConfigurationConstants.ATTR_ANT_HOME, antClasspathBlock.getAntHome()); - if (useDefaultButton.getSelection()) { configuration.setAttribute(IAntLaunchConfigurationConstants.ATTR_ANT_CUSTOM_CLASSPATH, (String)null); + configuration.setAttribute(IAntLaunchConfigurationConstants.ATTR_ANT_HOME, (String)null); return; } + configuration.setAttribute(IAntLaunchConfigurationConstants.ATTR_ANT_HOME, antClasspathBlock.getAntHome()); + List antUrls= antClasspathBlock.getAntURLs(); List userUrls= antClasspathBlock.getUserURLs(); StringBuffer urlString= new StringBuffer();
diff --git a/ant/org.eclipse.ant.ui/Ant Tools Support/org/eclipse/ant/internal/ui/preferences/AntClasspathBlock.java b/ant/org.eclipse.ant.ui/Ant Tools Support/org/eclipse/ant/internal/ui/preferences/AntClasspathBlock.java index 712e7e5..28013e8 100644 --- a/ant/org.eclipse.ant.ui/Ant Tools Support/org/eclipse/ant/internal/ui/preferences/AntClasspathBlock.java +++ b/ant/org.eclipse.ant.ui/Ant Tools Support/org/eclipse/ant/internal/ui/preferences/AntClasspathBlock.java
@@ -654,7 +654,8 @@ AntCorePreferences prefs = AntCorePlugin.getPlugin().getPreferences(); antTableViewer.setInput(prefs.getAntURLs()); userTableViewer.setInput(prefs.getCustomURLs()); - initializeAntHome(prefs.getDefaultAntHome()); + initializing= true; + initializeAntHome(prefs.getAntHome()); antHome.setEnabled(false); browseAntHomeButton.setEnabled(false); }