| Index: client/touch/Scrollbar.dart
|
| ===================================================================
|
| --- client/touch/Scrollbar.dart (revision 1770)
|
| +++ client/touch/Scrollbar.dart (working copy)
|
| @@ -55,7 +55,8 @@
|
| bool _displayOnHover;
|
| bool _hovering = false;
|
|
|
| - Scrollbar(Scroller scroller, [this._displayOnHover = true]) :
|
| + Scrollbar(Scroller scroller, [displayOnHover = true]) :
|
| + _displayOnHover = displayOnHover,
|
| _scroller = scroller,
|
| _frame = scroller.getFrame(),
|
| _cachedSize = new Map<String, num>() {
|
|
|