| OLD | NEW |
| 1 <link rel="import" href="../../../../packages/polymer/polymer.html"> | 1 <link rel="import" href="../../../../packages/polymer/polymer.html"> |
| 2 <link rel="import" href="nav_bar.html"> | 2 <link rel="import" href="nav_bar.html"> |
| 3 <link rel="import" href="observatory_element.html"> | 3 <link rel="import" href="observatory_element.html"> |
| 4 | 4 |
| 5 <polymer-element name="metrics-page" extends="observatory-element"> | 5 <polymer-element name="metrics-page" extends="observatory-element"> |
| 6 <template> | 6 <template> |
| 7 <link rel="stylesheet" href="css/shared.css"> | 7 <link rel="stylesheet" href="css/shared.css"> |
| 8 <style> | 8 <style> |
| 9 ul li:hover:not(.selected) { | 9 ul li:hover:not(.selected) { |
| 10 background-color: #FFF3E3; | 10 background-color: #FFF3E3; |
| 11 } | 11 } |
| 12 .selected { | 12 .selected { |
| 13 background-color: #0489c3; | 13 background-color: #0489c3; |
| 14 } | 14 } |
| 15 .graph { | 15 .graph { |
| 16 min-height: 600px; | 16 min-height: 600px; |
| 17 } | 17 } |
| 18 </style> | 18 </style> |
| 19 <nav-bar> | 19 <nav-bar> |
| 20 <top-nav-menu last="{{ true }}"></top-nav-menu> | 20 <top-nav-menu last="{{ true }}"></top-nav-menu> |
| 21 <nav-refresh callback="{{ refresh }}"></nav-refresh> | 21 <nav-refresh callback="{{ refresh }}"></nav-refresh> |
| 22 <nav-control></nav-control> | |
| 23 </nav-bar> | 22 </nav-bar> |
| 24 <div class="flex-row"> | 23 <div class="flex-row"> |
| 25 <div class="flex-item-20-percent"> | 24 <div class="flex-item-20-percent"> |
| 26 <ul> | 25 <ul> |
| 27 <template repeat="{{ metric in isolate.dartMetrics.values }}"> | 26 <template repeat="{{ metric in isolate.dartMetrics.values }}"> |
| 28 <template if="{{ metric == selectedMetric }}"> | 27 <template if="{{ metric == selectedMetric }}"> |
| 29 <li class="selected"> | 28 <li class="selected"> |
| 30 {{ metric.name }} | 29 {{ metric.name }} |
| 31 </li> | 30 </li> |
| 32 </template> | 31 </template> |
| (...skipping 95 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 128 .graph { | 127 .graph { |
| 129 min-height: 600px; | 128 min-height: 600px; |
| 130 } | 129 } |
| 131 </style> | 130 </style> |
| 132 <div id="graph" class="graph"> | 131 <div id="graph" class="graph"> |
| 133 </div> | 132 </div> |
| 134 </template> | 133 </template> |
| 135 </polymer-element> | 134 </polymer-element> |
| 136 | 135 |
| 137 <script type="application/dart" src="metrics.dart"></script> | 136 <script type="application/dart" src="metrics.dart"></script> |
| OLD | NEW |