diff options
| author | Jean Michel-Lemieux | 2004-03-23 16:02:11 +0000 |
|---|---|---|
| committer | Jean Michel-Lemieux | 2004-03-23 16:02:11 +0000 |
| commit | e110620e2ed7581dbf15210f3b86bd15a0e1a7c2 (patch) | |
| tree | daedc2fc3d496eeb3c041bca21d1d58a41e9adc7 | |
| parent | d99656237b50c8f8912f3941c13efc1e28d784d2 (diff) | |
| download | eclipse.platform.team-e110620e2ed7581dbf15210f3b86bd15a0e1a7c2.tar.gz eclipse.platform.team-e110620e2ed7581dbf15210f3b86bd15a0e1a7c2.tar.xz eclipse.platform.team-e110620e2ed7581dbf15210f3b86bd15a0e1a7c2.zip | |
Select synchronized resources in the sync view.
| -rw-r--r-- | bundles/org.eclipse.team.ui/src/org/eclipse/team/internal/ui/synchronize/RefreshUserNotificationPolicy.java | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bundles/org.eclipse.team.ui/src/org/eclipse/team/internal/ui/synchronize/RefreshUserNotificationPolicy.java b/bundles/org.eclipse.team.ui/src/org/eclipse/team/internal/ui/synchronize/RefreshUserNotificationPolicy.java index 04786803a..045042d9e 100644 --- a/bundles/org.eclipse.team.ui/src/org/eclipse/team/internal/ui/synchronize/RefreshUserNotificationPolicy.java +++ b/bundles/org.eclipse.team.ui/src/org/eclipse/team/internal/ui/synchronize/RefreshUserNotificationPolicy.java @@ -72,6 +72,9 @@ public class RefreshUserNotificationPolicy implements IRefreshSubscriberListener } } + // Ensure synchronized resources are selected in the view + participant.selectResources(event.getResources()); + // Prompt user if preferences are set for this type of refresh. if (prompt) { notifyIfNeededModal(event); |