return;
}
}
else if ( ( workbenchPart instanceof SchemaEditor ) && ( wrapper instanceof SchemaWrapper ) )
{
SchemaEditor editor = ( SchemaEditor ) workbenchPart;
SchemaWrapper sw = ( SchemaWrapper ) wrapper;
if ( editor.getSchema().equals( sw.getSchema() ) )
{
PlatformUI.getWorkbench().getActiveWorkbenchWindow().getActivePage().bringToTop( workbenchPart );
return;
}
}