Cómo diferenciar IE7 en JavaScript
Con el release de hace unos días de la nueva versión de Internet Explorer, IE7, y sus mejoras a nivel de CSS nos encontramos con que algunos workarounds que chequean el nombre del navegador dan resultados no deseados en IE7.
Abe Fettig nos recomienda un método para discernir entre IE7 e IE6-.
if (typeof document.body.style.maxHeight != "undefined") {
// IE 7, mozilla, safari, opera 9
} else {
// IE6, navegadores antiguos
}
Es muy recomendable hacerlo de esta manera y no usar el UserAgent ya que este se cambia fácilmente.
Arjan, en un comentario en ajaxian.com, dice que es más fácil usar window.XMLHttpRequest que ha sido intorducido en IE7 y es más corto.
La decisión final depende del gusto del programador 