See09/WRTKit/UI/Scrollbar.js
author ivanl
Thu, 22 Oct 2009 15:52:58 +0100
changeset 19 f3521a11d878
permissions -rw-r--r--
See 09 widget, version 1.0rc3
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
19
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
     1
/*
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
     2
© Copyright 2008 Nokia Corporation. All rights reserved.
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
     3
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
     4
IMPORTANT:  The Nokia software ("WRTKit and Example Widget files") is supplied to you by Nokia
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
     5
Corporation (“Nokia”) in consideration of your agreement to the following terms. Your use, installation
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
     6
and/or redistribution of the WRTKit and Example Widget files constitutes acceptance of these terms. If
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
     7
you do not agree with these terms, please do not use, install, or redistribute the WRTKit and Example
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
     8
Widget files.
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
     9
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    10
In consideration of your agreement to abide by the following terms, and subject to these terms, Nokia
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    11
grants you a personal, non-exclusive license, under Nokia’s copyrights in the WRTKit and Example
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    12
Widget files, to use, reproduce, and redistribute the WRTKit and Example files, in text form (for HTML,
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    13
CSS, or JavaScript files) or binary form (for associated images), for the sole purpose of creating S60
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    14
Widgets.
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    15
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    16
If you redistribute the WRTKit and Example files, you must retain this entire notice in all such
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    17
redistributions of the WRTKit and Example files.
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    18
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    19
You may not use the name, trademarks, service marks or logos of Nokia to endorse or promote products
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    20
that include the WRTKit and Example files without the prior written explicit agreement with Nokia.
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    21
Except as expressly stated in this notice, no other rights or licenses, express or implied, are granted by
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    22
Nokia herein, including but not limited to any patent rights that may be infringed by your products that
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    23
incorporate the WRTKit and Example files or by other works in which the WRTKit and Example files
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    24
may be incorporated.
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    25
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    26
The WRTKit and Example files are provided on an "AS IS" basis.  NOKIA MAKES NO
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    27
WARRANTIES, EXPRESS OR IMPLIED, INCLUDING WITHOUT LIMITATION THE IMPLIED
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    28
WARRANTIES OF NON-INFRINGEMENT, MERCHANTABILITY AND FITNESS FOR A
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    29
PARTICULAR PURPOSE, REGARDING THE EXAMPLES OR ITS USE AND OPERATION
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    30
ALONE OR IN COMBINATION WITH YOUR PRODUCTS.
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    31
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    32
IN NO EVENT SHALL NOKIA BE LIABLE FOR ANY SPECIAL, INDIRECT, INCIDENTAL OR
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    33
CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    34
SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    35
INTERRUPTION) ARISING IN ANY WAY OUT OF THE USE, REPRODUCTION, AND/OR
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    36
DISTRIBUTION OF THE EXAMPLES, HOWEVER CAUSED AND WHETHER UNDER THEORY
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    37
OF CONTRACT, TORT (INCLUDING NEGLIGENCE), STRICT LIABILITY OR OTHERWISE,
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    38
EVEN IF NOKIA HAS BEEN ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    39
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    40
*/
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    41
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    42
///////////////////////////////////////////////////////////////////////////////
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    43
// The Scrollbar class is an implementation of a user interface element that
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    44
// indicates the current viewport position in a document.
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    45
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    46
// Constructor.
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    47
function Scrollbar(parentElement) {
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    48
    uiLogger.debug("Scrollbar(" + parentElement + ")");
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    49
    
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    50
    // get the parent element
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    51
    this.parentElement = parentElement;
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    52
    
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    53
    // create the root element
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    54
    this.rootElement = document.createElement("div");
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    55
    this.rootElement.className = "Scrollbar";
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    56
    this.rootElement.style.visibility = "hidden";
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    57
    
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    58
    // create the scrollbar
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    59
    // the scrollbar consists of a root element with six children
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    60
    // (three track elements and three thumb elements)
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    61
    
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    62
    // track
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    63
    this.trackTopElement = document.createElement("div");
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    64
    this.trackTopElement.className = "ScrollbarTrackTop";
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    65
    this.trackMiddleElement = document.createElement("div");
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    66
    this.trackMiddleElement.className = "ScrollbarTrackMiddle";
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    67
    this.trackBottomElement = document.createElement("div");
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    68
    this.trackBottomElement.className = "ScrollbarTrackBottom";
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    69
    
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    70
    // thumb
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    71
    this.thumbTopElement = document.createElement("div");
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    72
    this.thumbTopElement.className = "ScrollbarThumbTop";
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    73
    this.thumbMiddleElement = document.createElement("div");
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    74
    this.thumbMiddleElement.className = "ScrollbarThumbMiddle";
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    75
    this.thumbBottomElement = document.createElement("div");
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    76
    this.thumbBottomElement.className = "ScrollbarThumbBottom";
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    77
    
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    78
    // assemble and attach the scrollbar
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    79
    this.rootElement.appendChild(this.trackTopElement);
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    80
    this.rootElement.appendChild(this.trackMiddleElement);
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    81
    this.rootElement.appendChild(this.trackBottomElement);
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    82
    this.rootElement.appendChild(this.thumbTopElement);
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    83
    this.rootElement.appendChild(this.thumbMiddleElement);
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    84
    this.rootElement.appendChild(this.thumbBottomElement);
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    85
    this.parentElement.appendChild(this.rootElement);
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    86
    
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    87
    // bring the scrollbar up to date
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    88
    this.update(0, 100, 100);
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    89
}
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    90
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    91
// Parent element for the scrollbar.
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    92
Scrollbar.prototype.parentElement = null;
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    93
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    94
// Root HTML element in the scrollbar.
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    95
Scrollbar.prototype.rootElement = null;
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    96
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    97
// Scrollbar track top element.
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    98
Scrollbar.prototype.trackTopElement = null;
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
    99
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   100
// Scrollbar track middle element.
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   101
Scrollbar.prototype.trackMiddleElement = null;
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   102
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   103
// Scrollbar track bottom element.
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   104
Scrollbar.prototype.trackBottomElement = null;
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   105
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   106
// Scrollbar thumb top element.
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   107
Scrollbar.prototype.thumbTopElement = null;
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   108
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   109
// Scrollbar thumb middle element.
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   110
Scrollbar.prototype.thumbMiddleElement = null;
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   111
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   112
// Scrollbar thumb bottom element.
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   113
Scrollbar.prototype.thumbBottomElement = null;
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   114
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   115
// Is the scrollbar needed?
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   116
Scrollbar.prototype.scrollbarNeeded = false;
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   117
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   118
// Updates the scrollbar.
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   119
Scrollbar.prototype.update = function(scrollY, viewportHeight, documentHeight) {
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   120
    // figure out current heights
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   121
    var scrollbarHeight = this.rootElement.clientHeight;
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   122
    var trackTopHeight = this.trackTopElement.clientHeight;
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   123
    var trackBottomHeight = this.trackBottomElement.clientHeight;
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   124
    var thumbTopHeight = this.thumbTopElement.clientHeight;
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   125
    var thumbBottomHeight = this.thumbBottomElement.clientHeight;
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   126
    
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   127
    // scrollable height is the larger of document and viewport heights
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   128
    var scrollableHeight = documentHeight;
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   129
    var scrollbarNeeded = true;
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   130
    if (viewportHeight >= documentHeight) {
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   131
        scrollableHeight = viewportHeight;
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   132
        scrollbarNeeded = false;
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   133
    }
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   134
    
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   135
    // show or hide scrollbar?
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   136
    if (scrollbarNeeded != this.scrollbarNeeded) {
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   137
        this.scrollbarNeeded = scrollbarNeeded;
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   138
        this.rootElement.style.visibility = scrollbarNeeded ? "visible" : "hidden";
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   139
    }
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   140
    
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   141
    // calculate thumb top position...
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   142
    var thumbTopPct = scrollY / scrollableHeight;
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   143
    var thumbTop = scrollbarHeight * thumbTopPct;
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   144
    // ...and bottom position...
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   145
    var thumbBottomPct = (scrollY + viewportHeight) / scrollableHeight;
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   146
    var thumbBottom = scrollbarHeight * thumbBottomPct;
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   147
    
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   148
    // ...and thumb height
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   149
    var thumbHeight = thumbBottom - thumbTop;
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   150
    
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   151
    // ensure that the thumb is not too small
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   152
    var thumbMinHeight = thumbTopHeight + thumbBottomHeight;
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   153
    if (thumbHeight < thumbMinHeight) {
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   154
        var underflow = thumbMinHeight - thumbHeight;
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   155
        // adjust thumb top pos assuming a shorter scrollbar track
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   156
        var thumbMid = (scrollbarHeight - underflow) * ((thumbTopPct + thumbBottomPct) / 2) + (underflow / 2);
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   157
        thumbTop = thumbMid - (thumbMinHeight / 2);
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   158
        thumbBottom = thumbTop + thumbMinHeight;
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   159
        thumbHeight = thumbBottom - thumbTop;
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   160
    }
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   161
    
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   162
    // position and size track element (add 1 to the middle section height for rounding errors)
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   163
    this.trackTopElement.style.top = "0px";
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   164
    this.trackMiddleElement.style.top = Math.round(trackTopHeight) + "px";
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   165
    this.trackMiddleElement.style.height = Math.round(scrollbarHeight - trackTopHeight - trackBottomHeight + 1) + "px";
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   166
    this.trackBottomElement.style.top = Math.round(scrollbarHeight - trackTopHeight) + "px";
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   167
    
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   168
    // position and size thumb element (add 1 to the middle section height for rounding errors)
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   169
    this.thumbTopElement.style.top = Math.round(thumbTop) + "px";
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   170
    this.thumbMiddleElement.style.top = Math.round(thumbTop + thumbTopHeight) + "px";
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   171
    this.thumbMiddleElement.style.height = Math.round(thumbHeight - thumbTopHeight - thumbBottomHeight + 1) + "px";
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   172
    this.thumbBottomElement.style.top = Math.round(thumbBottom - thumbBottomHeight) + "px";
f3521a11d878 See 09 widget, version 1.0rc3
ivanl
parents:
diff changeset
   173
}