| 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'; | 8 import 'dart:html'; |
| 9 import 'observatory_element.dart'; | 9 import 'observatory_element.dart'; |
| 10 import 'package:observatory/service.dart'; | 10 import 'package:observatory/service.dart'; |
| 11 import 'package:polymer/polymer.dart'; | 11 import 'package:polymer/polymer.dart'; |
| 12 | 12 |
| 13 | 13 |
| 14 @CustomTag('nav-bar') | 14 @CustomTag('nav-bar') |
| 15 class NavBarElement extends ObservatoryElement { | 15 class NavBarElement extends ObservatoryElement { |
| 16 @published bool showNotify = true; |
| 16 @published bool pad = true; | 17 @published bool pad = true; |
| 17 | 18 |
| 18 NavBarElement.created() : super.created(); | 19 NavBarElement.created() : super.created(); |
| 19 } | 20 } |
| 20 | 21 |
| 21 @CustomTag('nav-menu') | 22 @CustomTag('nav-menu') |
| 22 class NavMenuElement extends ObservatoryElement { | 23 class NavMenuElement extends ObservatoryElement { |
| 23 @published String link = '#'; | 24 @published String link = '#'; |
| 24 @published String anchor = '---'; | 25 @published String anchor = '---'; |
| 25 @published bool last = false; | 26 @published bool last = false; |
| (...skipping 104 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 130 app.removePauseEvents(event.isolate); | 131 app.removePauseEvents(event.isolate); |
| 131 return event.isolate.stepOut(); | 132 return event.isolate.stepOut(); |
| 132 } | 133 } |
| 133 | 134 |
| 134 void closeItem(MouseEvent e, var detail, Element target) { | 135 void closeItem(MouseEvent e, var detail, Element target) { |
| 135 events.remove(event); | 136 events.remove(event); |
| 136 } | 137 } |
| 137 | 138 |
| 138 NavNotifyItemElement.created() : super.created(); | 139 NavNotifyItemElement.created() : super.created(); |
| 139 } | 140 } |
| OLD | NEW |