commit | 69b627b3f0d9cb497e8788fb20589a5d7d499a91 | [log] [tgz] |
---|---|---|
author | Markus Duft <markus.duft@ssi-schaefer.com> | Thu Sep 27 10:49:16 2018 -0400 |
committer | Gerrit Code Review @ Eclipse.org <gerrit@eclipse.org> | Thu Sep 27 10:49:16 2018 -0400 |
tree | 9af0b8aaa790d9aac264a2e4c7285273b60191d4 | |
parent | b3a581c70a847118e3f32e1281c8f3d87de2df48 [diff] | |
parent | ccbb99046dcce7f9e760b37536b7dfd76c662e17 [diff] |
Merge "make preference import refresh tea config"
diff --git a/org.eclipse.tea.library.build/src/org/eclipse/tea/library/build/tasks/TaskImportPreferences.java b/org.eclipse.tea.library.build/src/org/eclipse/tea/library/build/tasks/TaskImportPreferences.java index 8fd863e..2e1ae34 100644 --- a/org.eclipse.tea.library.build/src/org/eclipse/tea/library/build/tasks/TaskImportPreferences.java +++ b/org.eclipse.tea.library.build/src/org/eclipse/tea/library/build/tasks/TaskImportPreferences.java
@@ -33,9 +33,11 @@ import org.eclipse.core.runtime.preferences.PreferenceFilterEntry; import org.eclipse.e4.core.di.annotations.Execute; import org.eclipse.swt.widgets.Display; +import org.eclipse.tea.core.annotations.TaskReloadConfiguration; import org.eclipse.tea.core.services.TaskingLog; import org.osgi.service.prefs.BackingStoreException; +@TaskReloadConfiguration public class TaskImportPreferences { private final File file;