Make chrome/ be documentElement/body agnostic with regards to scrollTop/Left

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"></include>
 
 cr.define('options', function() {
   'use strict';
 
   /**
@@ skipping 41 matching lines @@
       // Iterate over the extension data and add each item to the list.
       this.data_.extensions.forEach(this.createNode_, this);
 
       var idToHighlight = this.getIdQueryParam_();
       if (idToHighlight && $(idToHighlight)) {
         // Scroll offset should be calculated slightly higher than the actual
         // offset of the element being scrolled to, so that it ends up not all
         // the way at the top. That way it is clear that there are more elements
         // above the element being scrolled to.
         var scrollFudge = 1.2;
-        document.documentElement.scrollTop = $(idToHighlight).offsetTop -
-            scrollFudge * $(idToHighlight).clientHeight;
+        var scrollTop = $(idToHighlight).offsetTop - scrollFudge * $(idToHighlight).clientHeight;

[Dan Beam, 2013/11/11 23:46:46]

80 col wrap

+        setScrollTopForDocument(document, scrollTop);
       }
 
       if (this.data_.extensions.length == 0)
         this.classList.add('empty-extension-list');
       else
         this.classList.remove('empty-extension-list');
     },
 
     /**
      * Synthesizes and initializes an HTML element for the extension metadata
@@ skipping 255 matching lines @@
       }
 
       this.appendChild(node);
       if (location.hash.substr(1) == extension.id) {
         // Scroll beneath the fixed header so that the extension is not
         // obscured.
         var topScroll = node.offsetTop - $('page-header').offsetHeight;
         var pad = parseInt(getComputedStyle(node, null).marginTop, 10);
         if (!isNaN(pad))
           topScroll -= pad / 2;
-        document.documentElement.scrollTop = topScroll;
+        setScrollTopForDocument(document, topScroll);
       }
     },
   };
 
   return {
     ExtensionsList: ExtensionsList
   };
 });