OLD | NEW |
1 part of touch; | |
2 | |
3 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file | 1 // Copyright (c) 2011, the Dart project authors. Please see the AUTHORS file |
4 // 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 |
5 // BSD-style license that can be found in the LICENSE file. | 3 // BSD-style license that can be found in the LICENSE file. |
6 | 4 |
7 /** | 5 /** |
8 * Implementation of a scrollbar for the custom scrolling behavior | 6 * Implementation of a scrollbar for the custom scrolling behavior |
9 * defined in [:Scroller:]. | 7 * defined in [:Scroller:]. |
10 */ | 8 */ |
11 class Scrollbar implements ScrollListener { | 9 class Scrollbar implements ScrollListener { |
12 /** | 10 /** |
(...skipping 332 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
345 style.setProperty(cssPos, '${pos}px', ''); | 343 style.setProperty(cssPos, '${pos}px', ''); |
346 if (_cachedSize[cssSize] != size) { | 344 if (_cachedSize[cssSize] != size) { |
347 _cachedSize[cssSize] = size; | 345 _cachedSize[cssSize] = size; |
348 style.setProperty(cssSize, '${size}px', ''); | 346 style.setProperty(cssSize, '${size}px', ''); |
349 } | 347 } |
350 if (element.parent == null) { | 348 if (element.parent == null) { |
351 _frame.nodes.add(element); | 349 _frame.nodes.add(element); |
352 } | 350 } |
353 } | 351 } |
354 } | 352 } |
OLD | NEW |