[gnome-shell] scroll-bar: Remove jitter on the scroll bar when moving the mouse

[Jasper St. Pierre <jstpierre src gnome org>]

commit 2492dc50db89042d19edb2210fdeac7f5c54d8db
Author: Jasper St. Pierre <jstpierre mecheye net>
Date:   Wed Nov 28 15:43:14 2012 -0500

    scroll-bar: Remove jitter on the scroll bar when moving the mouse
    
    This was due to incorrect pixel clamping, which bounced the height
    of the actor between values. Just remove pixel clamping, as Clutter
    will correctly do it for us.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=689243

 src/st/st-scroll-bar.c |    6 ------
 1 files changed, 0 insertions(+), 6 deletions(-)
---
diff --git a/src/st/st-scroll-bar.c b/src/st/st-scroll-bar.c
index f9c4c08..2e1f125 100644
--- a/src/st/st-scroll-bar.c
+++ b/src/st/st-scroll-bar.c
@@ -270,12 +270,6 @@ scroll_bar_allocate_children (StScrollBar           *bar,
           handle_box.y2 = content_box.y2;
         }
 
-      /* snap to pixel */
-      handle_box.x1 = (int) handle_box.x1;
-      handle_box.y1 = (int) handle_box.y1;
-      handle_box.x2 = (int) handle_box.x2;
-      handle_box.y2 = (int) handle_box.y2;
-
       clutter_actor_allocate (priv->handle,
                               &handle_box,
                               flags);