| 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="action_link.html"> | 2 <link rel="import" href="action_link.html"> |
| 3 <link rel="import" href="observatory_element.html"> | 3 <link rel="import" href="observatory_element.html"> |
| 4 | 4 |
| 5 <polymer-element name="nav-bar" extends="observatory-element"> | 5 <polymer-element name="nav-bar" 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 nav { | 9 nav { |
| 10 position: fixed; | 10 position: fixed; |
| (...skipping 79 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 90 anchor="persistent handles"></nav-menu-item> | 90 anchor="persistent handles"></nav-menu-item> |
| 91 <nav-menu-item link="{{ makeLink('/ports', isolate) }}" | 91 <nav-menu-item link="{{ makeLink('/ports', isolate) }}" |
| 92 anchor="ports"></nav-menu-item> | 92 anchor="ports"></nav-menu-item> |
| 93 <nav-menu-item link="{{ makeLink('/logging', isolate) }}" | 93 <nav-menu-item link="{{ makeLink('/logging', isolate) }}" |
| 94 anchor="logging"></nav-menu-item> | 94 anchor="logging"></nav-menu-item> |
| 95 <content></content> | 95 <content></content> |
| 96 </nav-menu> | 96 </nav-menu> |
| 97 </template> | 97 </template> |
| 98 </polymer-element> | 98 </polymer-element> |
| 99 | 99 |
| 100 <polymer-element name="library-nav-menu" extends="observatory-element"> | |
| 101 <template> | |
| 102 <nav-menu link="{{ makeLink('/inspect', library) }}" | |
| 103 anchor="{{ library.name }}" last="{{ last }}"> | |
| 104 <content></content> | |
| 105 </nav-menu> | |
| 106 </template> | |
| 107 </polymer-element> | |
| 108 | |
| 109 <polymer-element name="class-nav-menu" extends="observatory-element"> | 100 <polymer-element name="class-nav-menu" extends="observatory-element"> |
| 110 <template> | 101 <template> |
| 111 <nav-menu link="{{ makeLink('/inspect', cls) }}" | 102 <nav-menu link="{{ makeLink('/inspect', cls) }}" |
| 112 anchor="{{ cls.name }}" last="{{ last }}"> | 103 anchor="{{ cls.name }}" last="{{ last }}"> |
| 113 <content></content> | 104 <content></content> |
| 114 </nav-menu> | 105 </nav-menu> |
| 115 </template> | 106 </template> |
| 116 </polymer-element> | 107 </polymer-element> |
| 117 | 108 |
| 118 <polymer-element name="nav-notify" extends="observatory-element"> | 109 <polymer-element name="nav-notify" extends="observatory-element"> |
| (...skipping 237 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 356 [<a class="link" on-click="{{ goto }}" | 347 [<a class="link" on-click="{{ goto }}" |
| 357 _href="{{ gotoLink('vm-connect') }}">Connect to a different VM</a>] | 348 _href="{{ gotoLink('vm-connect') }}">Connect to a different VM</a>] |
| 358 <a class="boxclose" on-click="{{ closeItem }}">×</a> | 349 <a class="boxclose" on-click="{{ closeItem }}">×</a> |
| 359 </div> | 350 </div> |
| 360 </template> | 351 </template> |
| 361 </template> | 352 </template> |
| 362 </polymer-element> | 353 </polymer-element> |
| 363 | 354 |
| 364 | 355 |
| 365 <script type="application/dart" src="nav_bar.dart"></script> | 356 <script type="application/dart" src="nav_bar.dart"></script> |
| OLD | NEW |