| 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:async'; | 7 import 'dart:async'; |
| 8 import 'dart:html' hide Notification; | 8 import 'dart:html' hide Notification; |
| 9 import 'observatory_element.dart'; | 9 import 'observatory_element.dart'; |
| 10 import 'package:observatory/service.dart'; | 10 import 'package:observatory/service.dart'; |
| (...skipping 14 matching lines...) Expand all Loading... |
| 25 | 25 |
| 26 @CustomTag('nav-menu') | 26 @CustomTag('nav-menu') |
| 27 class NavMenuElement extends ObservatoryElement { | 27 class NavMenuElement extends ObservatoryElement { |
| 28 @published String link = '#'; | 28 @published String link = '#'; |
| 29 @published String anchor = '---'; | 29 @published String anchor = '---'; |
| 30 @published bool last = false; | 30 @published bool last = false; |
| 31 | 31 |
| 32 NavMenuElement.created() : super.created(); | 32 NavMenuElement.created() : super.created(); |
| 33 } | 33 } |
| 34 | 34 |
| 35 @CustomTag('nav-menu-item') | |
| 36 class NavMenuItemElement extends ObservatoryElement { | |
| 37 @published String link = '#'; | |
| 38 @published String anchor = '---'; | |
| 39 | |
| 40 NavMenuItemElement.created() : super.created(); | |
| 41 } | |
| 42 | |
| 43 typedef Future RefreshCallback(); | 35 typedef Future RefreshCallback(); |
| 44 | 36 |
| 45 @CustomTag('nav-refresh') | 37 @CustomTag('nav-refresh') |
| 46 class NavRefreshElement extends ObservatoryElement { | 38 class NavRefreshElement extends ObservatoryElement { |
| 47 @published RefreshCallback callback; | 39 @published RefreshCallback callback; |
| 48 @published bool active = false; | 40 @published bool active = false; |
| 49 @published String label = 'Refresh'; | 41 @published String label = 'Refresh'; |
| 50 | 42 |
| 51 NavRefreshElement.created() : super.created(); | 43 NavRefreshElement.created() : super.created(); |
| 52 | 44 |
| (...skipping 102 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 155 @observable get isUnexpectedError { | 147 @observable get isUnexpectedError { |
| 156 return (exception is! NetworkRpcException); | 148 return (exception is! NetworkRpcException); |
| 157 } | 149 } |
| 158 | 150 |
| 159 void closeItem(MouseEvent e, var detail, Element target) { | 151 void closeItem(MouseEvent e, var detail, Element target) { |
| 160 notifications.remove(notification); | 152 notifications.remove(notification); |
| 161 } | 153 } |
| 162 | 154 |
| 163 NavNotifyExceptionElement.created() : super.created(); | 155 NavNotifyExceptionElement.created() : super.created(); |
| 164 } | 156 } |
| OLD | NEW |