         {
             targets.push(verticalScrollBar);
         }
+        
+        // we keep track of hideScrollBarAnimationPrematurelyStopped so that we know 
+        // if the effect ended naturally or if we prematurely called stop()
+        hideScrollBarAnimationPrematurelyStopped = false;
         
         hideScrollBarAnimation.play(targets);
     }

     */
    private var hideScrollBarAnimation:Animate;
    
    //--------------------------------------------------------------------------
    //
    //  Properties

            
            // make sure our alpha is set back to normal from hideScrollBarAnimation
            if (hideScrollBarAnimation && hideScrollBarAnimation.isPlaying)
            {
                // stop the effect, but make sure our code for EFFECT_END doesn't actually 
                // run since the effect didn't end on its own.
                hideScrollBarAnimationPrematurelyStopped = true;
                hideScrollBarAnimation.stop();
            }
            
            if (horizontalScrollBar)
                horizontalScrollBar.alpha = 1;
            
            if (verticalScrollBar)
                verticalScrollBar.alpha = 1;
        }
    }
    
