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

chrome/browser/resources/extensions/extension_list.js

 // Copyright (c) 2012 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 <include src="extension_error.js">
 
 /**
  * The type of the extension data object. The definition is based on
  * chrome/browser/ui/webui/extensions/extension_basic_info.cc
  * and
@@ skipping 261 matching lines @@
         });
         fileAccess.querySelector('input').checked = extension.allowFileAccess;
         fileAccess.hidden = false;
       }
 
       // The 'Options' button or link, depending on its behaviour.
       if (extension.enabled && extension.optionsUrl) {
         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]);
           };
         } else {
           options = node.querySelector('.options-button');
           optionsClickListener = function() {
             this.showEmbeddedExtensionOptions_(extension.id, false);
           }.bind(this);
         }
         options.addEventListener('click', function(e) {
@@ skipping 256 matching lines @@
       $('overlay').addEventListener('cancelOverlay', function() {
         this.optionsShown_ = false;
       }.bind(this));
     },
   };
 
   return {
     ExtensionsList: ExtensionsList
   };
 });