| 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 7d6187ae2b76e2f41357402194d01065490b3563..9e3826a5665f4c0d9c62fc7738c5d64bab897762 100644
|
| --- a/chrome/browser/resources/extensions/extension_list.js
|
| +++ b/chrome/browser/resources/extensions/extension_list.js
|
| @@ -59,8 +59,9 @@ cr.define('options', function() {
|
| // 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;
|
| + setScrollTopForDocument(document, scrollTop);
|
| }
|
|
|
| if (this.data_.extensions.length == 0)
|
| @@ -336,7 +337,7 @@ cr.define('options', function() {
|
| var pad = parseInt(getComputedStyle(node, null).marginTop, 10);
|
| if (!isNaN(pad))
|
| topScroll -= pad / 2;
|
| - document.documentElement.scrollTop = topScroll;
|
| + setScrollTopForDocument(document, topScroll);
|
| }
|
| },
|
| };
|
|
|