final IFile newFile = ResourcesPlugin.getWorkspace( ) .getRoot( ) .getFile( delta.getFullPath( ) ); Display display = getSite( ).getShell( ).getDisplay( ); if ( ( delta.getFlags( ) & IResourceDelta.MARKERS ) == 0 ) {    display.asyncExec( new Runnable( ) {  public void run( ) { } } ); }
		public boolean visit( IResourceDelta delta )		{			if ( delta == null					|| !delta.getResource( )							.equals( getFile( getEditorInput( ) ) ) )				return true;			if ( delta.getKind( ) == IResourceDelta.REMOVED )			{				Display display = getSite( ).getShell( ).getDisplay( );				if ( ( IResourceDelta.MOVED_TO & delta.getFlags( ) ) == 0 )				{					// if the file was deleted.					// NOTE: The case where an open, unsaved file is deleted is					// being handled by the PartListener added to the Workbench					// in the initialize() method.					display.asyncExec( new Runnable( ) {						public void run( )						{							if ( !isDirty( ) )							{								closeEditor( false );							}							else							{								String title = DLG_SAVE_TITLE;								String message = DLG_SAVE_CONFIRM_DELETE;								String[] buttons = {										DLG_SAVE_BUTTON_SAVE,										DLG_SAVE_BUTTON_CLOSE								};								MessageDialog dialog = new MessageDialog( getSite( ).getShell( ),										title,										null,										message,										MessageDialog.QUESTION,										buttons,										0 );								if ( dialog.open( ) == Dialog.OK )								{									doSaveAs( );								}								else								{									closeEditor( false );								}							}						}					} );				}				else				{ // else if it was moved or renamed					final IFile newFile = ResourcesPlugin.getWorkspace( )							.getRoot( )							.getFile( delta.getMovedToPath( ) );					display.asyncExec( new Runnable( ) {						public void run( )						{							FileEditorInput input = new FileEditorInput( newFile );							setAllInput( input );						}					} );				}			}			else if ( delta.getKind( ) == IResourceDelta.CHANGED )			{				final IFile newFile = ResourcesPlugin.getWorkspace( )						.getRoot( )						.getFile( delta.getFullPath( ) );				Display display = getSite( ).getShell( ).getDisplay( );				if ( ( delta.getFlags( ) & IResourceDelta.MARKERS ) == 0 )				{					// The file was overwritten somehow (could have been					// replaced by another					// version in the repository)					display.asyncExec( new Runnable( ) {						public void run( )						{						}					} );				}				// else if ( isEditorSaving( ) )				// {				// display.asyncExec( new Runnable( ) {				//				// public void run( )				// {				// try				// {				// refreshMarkers( getEditorInput( ) );				// }				// catch ( CoreException e )				// {				// ExceptionHandler.handle( e );				// }				// }				// } );				// }			}			return false;		}