[egit-dev] Job RIRefresh really needed?

["Baumgart, Jens" <jens.baumgart@xxxxxxx>]

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?