Set an href for the extension options pages link to get the correct mouse over

chrome/browser/resources/extensions/extension_list.js

Index: chrome/browser/resources/extensions/extension_list.js
diff --git a/chrome/browser/resources/extensions/extension_list.js b/chrome/browser/resources/extensions/extension_list.js
index 594f901517cbd210aec4bc6daca6d7179e36e758..56eac8c0256443724e23e90f2f8f19846bdd9769 100644
--- a/chrome/browser/resources/extensions/extension_list.js
+++ b/chrome/browser/resources/extensions/extension_list.js
@@ -279,6 +279,10 @@ cr.define('options', function() {
         var options, optionsClickListener;
         if (extension.optionsOpenInTab) {
           options = node.querySelector('.options-link');
+          // Set an href to get the correct mouse-over appearance (link,
+          // footer) - but the actual link opening is done through chrome.send
+          // with a preventDefault().
+          options.setAttribute('href', extension.optionsPageHref);
           optionsClickListener = function() {
             chrome.send('extensionSettingsOptions', [extension.id]);
           };