| OLD | NEW |
| 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2013, the Dart project authors. Please see the AUTHORS file |
| 2 // for details. All rights reserved. Use of this source code is governed by a | 2 // for details. All rights reserved. Use of this source code is governed by a |
| 3 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
| 4 | 4 |
| 5 library nav_bar_element; | 5 library nav_bar_element; |
| 6 | 6 |
| 7 import 'dart:html'; | 7 import 'dart:html'; |
| 8 import 'observatory_element.dart'; | 8 import 'observatory_element.dart'; |
| 9 import 'package:observatory/app.dart'; | 9 import 'package:observatory/app.dart'; |
| 10 import 'package:observatory/service.dart'; | 10 import 'package:observatory/service.dart'; |
| (...skipping 98 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 109 LibraryNavMenuElement.created() : super.created(); | 109 LibraryNavMenuElement.created() : super.created(); |
| 110 } | 110 } |
| 111 | 111 |
| 112 @CustomTag('class-nav-menu') | 112 @CustomTag('class-nav-menu') |
| 113 class ClassNavMenuElement extends ObservatoryElement { | 113 class ClassNavMenuElement extends ObservatoryElement { |
| 114 @published Class cls; | 114 @published Class cls; |
| 115 @published bool last = false; | 115 @published bool last = false; |
| 116 | 116 |
| 117 ClassNavMenuElement.created() : super.created(); | 117 ClassNavMenuElement.created() : super.created(); |
| 118 } | 118 } |
| 119 |
| 120 @CustomTag('nav-notify') |
| 121 class NavNotifyElement extends ObservatoryElement { |
| 122 @published ObservableList<ServiceEvent> events; |
| 123 |
| 124 NavNotifyElement.created() : super.created(); |
| 125 } |
| 126 |
| 127 @CustomTag('nav-notify-item') |
| 128 class NavNotifyItemElement extends ObservatoryElement { |
| 129 @published ObservableList<ServiceEvent> events; |
| 130 @published ServiceEvent event; |
| 131 |
| 132 void closeItem(MouseEvent e, var detail, Element target) { |
| 133 events.remove(event); |
| 134 } |
| 135 |
| 136 NavNotifyItemElement.created() : super.created(); |
| 137 } |
| OLD | NEW |