From: Robin Rosenberg Date: Thu, 10 Jul 2008 22:40:50 GMT Subject: [EGIT PATCH 8/9] Make git dectected changes depend on the automatic refresh setting Message-ID: <1215729651-26781-9-git-send-email-robin.rosenberg@dewire.com> In-Reply-To: <1215729651-26781-8-git-send-email-robin.rosenberg@dewire.com> This is the same setting that scans the workspace regularly for changes in resources. We scan more often can can trigger sooner because we can scan fewer files. Signed-off-by: Robin Rosenberg --- .../src/org/spearce/egit/ui/Activator.java | 5 +++++ 1 files changed, 5 insertions(+), 0 deletions(-) diff --git a/org.spearce.egit.ui/src/org/spearce/egit/ui/Activator.java b/org.spearce.egit.ui/src/org/spearce/egit/ui/Activator.java index 39d3bc9..d8928cb 100644 --- a/org.spearce.egit.ui/src/org/spearce/egit/ui/Activator.java +++ b/org.spearce.egit.ui/src/org/spearce/egit/ui/Activator.java @@ -203,6 +203,11 @@ public class Activator extends AbstractUIPlugin { } public void indexChanged(IndexChangedEvent e) { + // Check the workspace setting "refresh automatically" setting first + if (!ResourcesPlugin.getPlugin().getPluginPreferences().getBoolean( + ResourcesPlugin.PREF_AUTO_REFRESH)) + return; + IProject[] projects = ResourcesPlugin.getWorkspace().getRoot().getProjects(); Set toRefresh= new HashSet(); for (IProject p : projects) { -- 1.5.6.2.220.g44701