[Gitclipse-devel] Auto Refresh Provider

[Patrick W. <pat...@ny...>]

Paul,
  I found this just now after I saw your DotGitMonitor.  You can define
a RefreshProvider in the framework that auto-polls resources and
subdirectories and handles changes.

http://help.eclipse.org/ganymede/index.jsp?topic=/org.eclipse.platform.doc.isv/reference/api/org/eclipse/core/resources/refresh/RefreshProvider.html
--
Patrick