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 |