Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [egit-dev] Job RIRefresh really needed?

torsdagen den 1 april 2010 15.00.01 skrev  Baumgart, Jens:
> I had a look in org.eclipse.egit.ui.Activator and saw that Job RIRefresh
>  only works if the workspace preference
> 
> General->Workspace->refresh automatically
> 
> is enabled:
> 
>                         if
>  (!ResourcesPlugin.getPlugin().getPluginPreferences().getBoolean(
>  ResourcesPlugin.PREF_AUTO_REFRESH)) return;
> 
> But in this case Eclipse refreshes changed resources anyway (RefreshJob
>  triggered by file system change). For me it looks that the functionally of
>  RIRefresh if redundant an can be removed.
> 
> Comments?

I think we probably could drop it and later replace it with something better
and leaner. The original point was to scan Git managed repos (only).

-- robin


Back to the top