为workspace里的资源加一个listener是最容易想的了,不多说了,看代码:
IWorkspace workspace = ResourcesPlugin.getWorkspace();资源的修改由插件里API提供方法,最常见的就是创建、挎贝、移动、删除、内容的修改。这些改变资源的方法按如下的规律执行:
IResourceChangeListener listener = new IResourceChangeListener() {
public void resourceChanged(IResourceChangeEvent event) {
System.out.println("Something changed!");
}
};
workspace.addResourceChangeListener(listener);
//... some time later one ...
workspace.removeResourceChangeListener(listener);
* This method changes resources; these changes will be reported
* in a subsequent resource change