public void beforeFileMovement(VirtualFileMoveEvent event) {
String newPath = event.getNewParent().getPath() + File.separator + event.getFileName();
displayHandler.reassignDisplay(event.getFile().getPath(), newPath);
}
public void contentsChanged(VirtualFileEvent event) {
displayHandler.redrawIfXmlChanged(event.getFile().getPath());
}
public void beforePropertyChange(VirtualFilePropertyEvent event) {
if (event.getPropertyName().equals("name")) {
String newPath = event.getFile().getParent().getPath() + File.separator + event.getNewValue();
displayHandler.reassignDisplay(event.getFile().getPath(), newPath);
}
}