diff options
| -rw-r--r-- | org.eclipse.ui.externaltools/External Tools/org/eclipse/ui/externaltools/internal/ui/AntPreferencePage.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/org.eclipse.ui.externaltools/External Tools/org/eclipse/ui/externaltools/internal/ui/AntPreferencePage.java b/org.eclipse.ui.externaltools/External Tools/org/eclipse/ui/externaltools/internal/ui/AntPreferencePage.java index 097da67b2..4a46d9d56 100644 --- a/org.eclipse.ui.externaltools/External Tools/org/eclipse/ui/externaltools/internal/ui/AntPreferencePage.java +++ b/org.eclipse.ui.externaltools/External Tools/org/eclipse/ui/externaltools/internal/ui/AntPreferencePage.java @@ -105,6 +105,7 @@ public class AntPreferencePage extends PreferencePage implements IWorkbenchPrefe Type[] types = (Type[]) contents.toArray(new Type[contents.size()]); AntCorePlugin.getPlugin().getPreferences().setCustomTypes(types); } + AntCorePlugin.getPlugin().getPreferences().updatePluginPreferences(); return super.performOk(); } }
\ No newline at end of file |