code: public void setActiveEditor(IAction action, IEditorPart targetEditor)
  	{
  		if (targetEditor instanceof VdmEditor)
  		{
  			setEditor((VdmEditor) targetEditor);
  		} else
  		{
  			setEditor(null);
  		}
  	}
docs: IEditorActionDelegate