| 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 web.main; | 5 library web.main; |
| 6 | 6 |
| 7 import 'dart:html'; | 7 import 'dart:html'; |
| 8 import 'package:dartdoc_viewer/item.dart'; | 8 import 'package:dartdoc_viewer/item.dart'; |
| 9 import 'package:dartdoc_viewer/read_yaml.dart'; | 9 import 'package:dartdoc_viewer/read_yaml.dart'; |
| 10 import 'package:polymer/polymer.dart'; | 10 import 'package:polymer/polymer.dart'; |
| (...skipping 130 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 141 list.classes.remove("open"); | 141 list.classes.remove("open"); |
| 142 } | 142 } |
| 143 | 143 |
| 144 var _buildIdentifier; | 144 var _buildIdentifier; |
| 145 @observable get buildIdentifier { | 145 @observable get buildIdentifier { |
| 146 if (_buildIdentifier != null) return _buildIdentifier; | 146 if (_buildIdentifier != null) return _buildIdentifier; |
| 147 | 147 |
| 148 _buildIdentifier = ''; // Don't try twice. | 148 _buildIdentifier = ''; // Don't try twice. |
| 149 retrieveFileContents('docs/VERSION').then((version) { | 149 retrieveFileContents('docs/VERSION').then((version) { |
| 150 _buildIdentifier = notifyPropertyChange(#buildIdentifier, | 150 _buildIdentifier = notifyPropertyChange(#buildIdentifier, |
| 151 _buildIdentifier, "r $version"); | 151 _buildIdentifier, version); |
| 152 }).catchError((_) => null); | 152 }).catchError((_) => null); |
| 153 return ''; | 153 return ''; |
| 154 } | 154 } |
| 155 | 155 |
| 156 /// Collapse/expand the navbar when in mobile. Workaround for something | 156 /// Collapse/expand the navbar when in mobile. Workaround for something |
| 157 /// that ought to happen magically with bootstrap, but fails in the | 157 /// that ought to happen magically with bootstrap, but fails in the |
| 158 /// presence of shadow DOM. | 158 /// presence of shadow DOM. |
| 159 void navHideShow(event, detail, target) { | 159 void navHideShow(event, detail, target) { |
| 160 var nav = shadowRoot.querySelector("#nav-collapse-content"); | 160 var nav = shadowRoot.querySelector("#nav-collapse-content"); |
| 161 hideOrShowNavigation(hide: nav.classes.contains("in"), nav: nav); | 161 hideOrShowNavigation(hide: nav.classes.contains("in"), nav: nav); |
| (...skipping 17 matching lines...) Expand all Loading... |
| 179 Element body = shadowRoot.querySelector(".main-body"); | 179 Element body = shadowRoot.querySelector(".main-body"); |
| 180 var height = navbar.marginEdge.height; | 180 var height = navbar.marginEdge.height; |
| 181 var positioning = navbar.getComputedStyle().position; | 181 var positioning = navbar.getComputedStyle().position; |
| 182 if (positioning == "fixed") { | 182 if (positioning == "fixed") { |
| 183 body.style.paddingTop = height.toString() + "px"; | 183 body.style.paddingTop = height.toString() + "px"; |
| 184 } else { | 184 } else { |
| 185 body.style.removeProperty("padding-top"); | 185 body.style.removeProperty("padding-top"); |
| 186 } | 186 } |
| 187 } | 187 } |
| 188 } | 188 } |
| OLD | NEW |