| OLD | NEW |
| 1 // Copyright (c) 2013 The Chromium Authors. All rights reserved. | 1 // Copyright (c) 2013 The Chromium Authors. All rights reserved. |
| 2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
| 4 | 4 |
| 5 /** | 5 /** |
| 6 * @fileoverview The section of the history page that shows tabs from sessions | 6 * @fileoverview The section of the history page that shows tabs from sessions |
| 7 on other devices. | 7 on other devices. |
| 8 */ | 8 */ |
| 9 | 9 |
| 10 /////////////////////////////////////////////////////////////////////////////// | 10 /////////////////////////////////////////////////////////////////////////////// |
| (...skipping 567 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 578 // Create the context menu that appears when the user right clicks | 578 // Create the context menu that appears when the user right clicks |
| 579 // on a device name or hit click on the button besides the device name | 579 // on a device name or hit click on the button besides the device name |
| 580 document.body.appendChild(DeviceContextMenuController.getInstance().menu); | 580 document.body.appendChild(DeviceContextMenuController.getInstance().menu); |
| 581 | 581 |
| 582 var doSearch = function(e) { | 582 var doSearch = function(e) { |
| 583 devicesView.setSearchText($('search-field').value); | 583 devicesView.setSearchText($('search-field').value); |
| 584 }; | 584 }; |
| 585 $('search-field').addEventListener('search', doSearch); | 585 $('search-field').addEventListener('search', doSearch); |
| 586 $('search-button').addEventListener('click', doSearch); | 586 $('search-button').addEventListener('click', doSearch); |
| 587 | 587 |
| 588 cr.addWebUIListener('sign-in-state-updated', updateSignInState); | |
| 589 | |
| 590 chrome.send('otherDevicesInitialized'); | 588 chrome.send('otherDevicesInitialized'); |
| 591 } | 589 } |
| 592 | 590 |
| 593 // Add handlers to HTML elements. | 591 // Add handlers to HTML elements. |
| 594 document.addEventListener('DOMContentLoaded', load); | 592 document.addEventListener('DOMContentLoaded', load); |
| OLD | NEW |