| OLD | NEW |
| 1 <!DOCTYPE html> | 1 <!DOCTYPE html> |
| 2 <!-- | 2 <!-- |
| 3 Copyright (c) 2013 The Chromium Authors. All rights reserved. | 3 Copyright (c) 2013 The Chromium Authors. All rights reserved. |
| 4 Use of this source code is governed by a BSD-style license that can be | 4 Use of this source code is governed by a BSD-style license that can be |
| 5 found in the LICENSE file. | 5 found in the LICENSE file. |
| 6 --> | 6 --> |
| 7 | 7 |
| 8 <link rel="import" href="/tracing/ui/base/hotkey_controller.html"> | 8 <link rel="import" href="/tracing/ui/base/hotkey_controller.html"> |
| 9 <link rel="import" href="/tracing/ui/find_controller.html"> | 9 <link rel="import" href="/tracing/ui/find_controller.html"> |
| 10 <link rel="import" href="/tracing/ui/timeline_track_view.html"> | 10 <link rel="import" href="/tracing/ui/timeline_track_view.html"> |
| 11 | 11 |
| 12 <dom-module id='tr-ui-find-control'> | 12 <dom-module id='tr-ui-find-control'> |
| 13 <template> | 13 <template> |
| 14 <style> | 14 <style> |
| 15 :host { | 15 :host { |
| 16 -webkit-user-select: none; | 16 -webkit-user-select: none; |
| 17 display: -webkit-flex; | 17 display: flex; |
| 18 position: relative; | 18 position: relative; |
| 19 } | 19 } |
| 20 input { | 20 input { |
| 21 -webkit-user-select: auto; | 21 -webkit-user-select: auto; |
| 22 background-color: #f8f8f8; | 22 background-color: #f8f8f8; |
| 23 border: 1px solid rgba(0, 0, 0, 0.5); | 23 border: 1px solid rgba(0, 0, 0, 0.5); |
| 24 box-sizing: border-box; | 24 box-sizing: border-box; |
| 25 margin: 0; | 25 margin: 0; |
| 26 padding: 0; | 26 padding: 0; |
| 27 width: 170px; | 27 width: 170px; |
| (...skipping 140 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 168 const n = this.controller.filterHits.length; | 168 const n = this.controller.filterHits.length; |
| 169 const i = n === 0 ? -1 : this.controller.currentHitIndex; | 169 const i = n === 0 ? -1 : this.controller.currentHitIndex; |
| 170 Polymer.dom(this.$.hitCount).textContent = (i + 1) + ' of ' + n; | 170 Polymer.dom(this.$.hitCount).textContent = (i + 1) + ' of ' + n; |
| 171 }, | 171 }, |
| 172 | 172 |
| 173 setText(string) { | 173 setText(string) { |
| 174 this.$.filter.value = string; | 174 this.$.filter.value = string; |
| 175 } | 175 } |
| 176 }); | 176 }); |
| 177 </script> | 177 </script> |
| OLD | NEW |