| Index: ios/chrome/browser/find_in_page/resources/find_in_page.js
|
| diff --git a/ios/chrome/browser/find_in_page/resources/find_in_page.js b/ios/chrome/browser/find_in_page/resources/find_in_page.js
|
| index c1075824a5ac77237c54e9e345ffd54324d21e5f..c96309192a56031a41a281a3ccb04a7d8ffaa125 100644
|
| --- a/ios/chrome/browser/find_in_page/resources/find_in_page.js
|
| +++ b/ios/chrome/browser/find_in_page/resources/find_in_page.js
|
| @@ -3,13 +3,10 @@
|
| // found in the LICENSE file.
|
|
|
| /**
|
| - * This file is lifted from the GoogleMobile find tool.
|
| + * Based heavily on code from the Google iOS app.
|
| *
|
| * @fileoverview A find in page tool. It scans the DOM for elements with the
|
| * text being search for, and wraps them with a span that highlights them.
|
| - *
|
| - * @author bmcmahan@google.com (Benjamin McMahan)
|
| - *
|
| */
|
|
|
| /**
|
| @@ -867,7 +864,7 @@ __gCrWeb['findInPage'].isVisible = function(elem) {
|
| // only scroll the window, not any scrollable containers in the DOM itself. So
|
| // for now this function returns false if the element is scrolled outside the
|
| // viewable area of its ancestors.
|
| - // TODO (jonwall): handle scrolling within the DOM.
|
| + // TODO(justincohen): handle scrolling within the DOM.
|
| var pageHeight = __gCrWeb['findInPage'].getBodyHeight();
|
| var pageWidth = __gCrWeb['findInPage'].getBodyWidth();
|
|
|
|
|