Skip to content

Instantly share code, notes, and snippets.

public void resourceChanged(final IResourceChangeEvent event) {
if (event.getType() == IResourceChangeEvent.POST_CHANGE) {
Display.getDefault().asyncExec(new Runnable() {
public void run() {
IFile file = ((IFileEditorInput) input).getFile();
if (!file.exists()) {
// ファイル名が変更されていたら、EditorをCloseする
IWorkbenchPage page = PlatformUI.getWorkbench().getActiveWorkbenchWindow().getActivePage();
page.closeEditor(VisualMXMLEditor.this, false);
} else {