In the sample below, do a Ctrl-Shift-F7 on messagePane. Depending on which occurrence of messagePane you do it on, different usages are highlighted. I would expect that in all cases all three usages are highlighted. Also, the usage in document.getElementById("messagePane") is not included when renaming the selector.
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
"http://www.w3.org/TR/html4/loose.dtd">
<html>
<head>
<title>Demo</title>
<script type="text/javascript">
function foo() {
document.getElementById("messagePane").innerHTML = "Hello";
}
</script>
<style type="text/css">
div#messagePane {
color: green;
}
</style>
</head>
<body>
<div id="messagePane">
This is the message pane.
</div>
</body>
</html>