Merge lp:~cimi/overlay-scrollbar/proximity-separate-function into lp:overlay-scrollbar

[Andrea Cimitan]

fork of lp:~cimi/ayatana-scrollbar/various-namings-and-refactoring, this branch contains a separate proximity function that can be easily extended to support scrollbars on other sides of the scrolled window

Unmerged revisions

=== modified file 'os/os-pager.c'
--- os/os-pager.c	2011-06-12 23:21:09 +0000
+++ os/os-pager.c	2011-06-15 13:28:34 +0000
@@ -315,7 +315,7 @@
  *
  * Returns: the new #OsPager instance.
  */
-GObject*
+OsPager*
 os_pager_new (void)
 {
   return g_object_new (OS_TYPE_PAGER, NULL);
 
=== modified file 'os/os-private.h'
--- os/os-private.h	2011-06-10 10:32:53 +0000
+++ os/os-private.h	2011-06-15 13:28:34 +0000
@@ -30,9 +30,9 @@
 #pragma GCC visibility push(hidden)
 #endif /* __GNUC__ */
 
-/* Default size of the thumb in pixels. */
-#define DEFAULT_THUMB_WIDTH  17
-#define DEFAULT_THUMB_HEIGHT 69
+/* Size of the thumb in pixels. */
+#define THUMB_WIDTH  17
+#define THUMB_HEIGHT 69
 
 G_BEGIN_DECLS
 
@@ -208,7 +208,7 @@
 
 GType    os_pager_get_type      (void) G_GNUC_CONST;
 
-GObject* os_pager_new           (void);
+OsPager* os_pager_new           (void);
 
 void     os_pager_hide          (OsPager *overlay);
 
 
=== modified file 'os/os-scrollbar.c'
--- os/os-scrollbar.c	2011-06-14 17:20:10 +0000
+++ os/os-scrollbar.c	2011-06-15 13:28:34 +0000
@@ -32,14 +32,14 @@
 #include <X11/extensions/XInput2.h>
 #include "math.h"
 
-/* Default size of the pager in pixels. */
-#define DEFAULT_PAGER_WIDTH 3
+/* Size of the pager in pixels. */
+#define PAGER_SIZE 3
 
-/* Default thumb allocation shift in pixels. */
+/* Thumb allocation shift in pixels. */
 #define THUMB_ALLOCATION_SHIFT -3
 
-/* Width of the proximity effect in pixels. */
-#define PROXIMITY_WIDTH 30
+/* Size of the proximity effect in pixels. */
+#define PROXIMITY_SIZE 30
 
 /* Timeout assumed for PropertyNotify _NET_ACTIVE_WINDOW event. */
 #define TIMEOUT_PRESENT_WINDOW 400
@@ -50,18 +50,26 @@
 /* Timeout before hiding in ms, after leaving the toplevel. */
 #define TIMEOUT_TOPLEVEL_HIDE 200
 
+typedef enum
+{
+  OS_SIDE_TOP,
+  OS_SIDE_BOTTOM,
+  OS_SIDE_LEFT,
+  OS_SIDE_RIGHT
+} OsSide;
+
 struct _OsScrollbarPrivate
 {
   GdkRectangle trough;
   GdkRectangle overlay;
   GdkRectangle slider;
-  GtkAllocation overlay_all;
+  GtkAllocation pager_all;
   GtkAllocation thumb_all;
-  GObject *pager;
   GtkWidget *thumb;
   GtkAdjustment *adjustment;
   GtkOrientation orientation;
   GtkWindowGroup *window_group;
+  OsPager *pager;
   gboolean button_press_event;
   gboolean enter_notify_event;
   gboolean motion_notify_event;
@@ -137,74 +145,56 @@
 
   if (priv->orientation == GTK_ORIENTATION_VERTICAL)
     {
-      gint y, bottom, top, height;
-
-      top = priv->trough.y;
-      bottom = priv->trough.y + priv->trough.height;
-
-      /* overlay height is the fraction (page_size /
-       * total_adjustment_range) times the trough height in pixels
-       */
+      gint y, trough_length, height;
+
+      trough_length = priv->trough.height;
 
       if (gtk_adjustment_get_upper (priv->adjustment) - gtk_adjustment_get_lower (priv->adjustment) != 0)
-        height = ((bottom - top) * (gtk_adjustment_get_page_size (priv->adjustment) /
-                                    (gtk_adjustment_get_upper (priv->adjustment) - 
-                                     gtk_adjustment_get_lower (priv->adjustment))));
+        height = (trough_length * (gtk_adjustment_get_page_size (priv->adjustment) /
+                                   (gtk_adjustment_get_upper (priv->adjustment) - 
+                                    gtk_adjustment_get_lower (priv->adjustment))));
       else
         height = gtk_range_get_min_slider_size (GTK_RANGE (scrollbar));
 
       height = MAX (height, gtk_range_get_min_slider_size (GTK_RANGE (scrollbar)));
 
-      height = MIN (height, priv->trough.height);
-
-      y = top;
-
       if (gtk_adjustment_get_upper (priv->adjustment) -
           gtk_adjustment_get_lower (priv->adjustment) -
           gtk_adjustment_get_page_size (priv->adjustment) != 0)
-        y += (bottom - top - height) * ((adjustment_value - gtk_adjustment_get_lower (priv->adjustment)) /
+        y = (trough_length - height) * ((adjustment_value - gtk_adjustment_get_lower (priv->adjustment)) /
                                         (gtk_adjustment_get_upper (priv->adjustment) -
                                          gtk_adjustment_get_lower (priv->adjustment) -
                                          gtk_adjustment_get_page_size (priv->adjustment)));
 
-      y = CLAMP (y, top, bottom);
+      y = CLAMP (y, 0, trough_length);
 
       priv->overlay.y = y;
       priv->overlay.height = height;
     }
   else
     {
-      gint x, left, right, width;
-
-      left = priv->trough.x;
-      right = priv->trough.x + priv->trough.width;
-
-      /* overlay width is the fraction (page_size /
-       * total_adjustment_range) times the trough width in pixels
-       */
+      gint x, trough_length, width;
+
+      trough_length = priv->trough.width;
 
       if (gtk_adjustment_get_upper (priv->adjustment) - gtk_adjustment_get_lower (priv->adjustment) != 0)
-        width = ((right - left) * (gtk_adjustment_get_page_size (priv->adjustment) /
-                                   (gtk_adjustment_get_upper (priv->adjustment) -
-                                    gtk_adjustment_get_lower (priv->adjustment))));
+        width = (trough_length * (gtk_adjustment_get_page_size (priv->adjustment) /
+                                  (gtk_adjustment_get_upper (priv->adjustment) -
+                                   gtk_adjustment_get_lower (priv->adjustment))));
       else
         width =  gtk_range_get_min_slider_size (GTK_RANGE (scrollbar));
 
       width = MAX (width, gtk_range_get_min_slider_size (GTK_RANGE (scrollbar)));
 
-      width = MIN (width, priv->trough.width);
-
-      x = left;
-
       if (gtk_adjustment_get_upper (priv->adjustment) -
           gtk_adjustment_get_lower (priv->adjustment) -
           gtk_adjustment_get_page_size (priv->adjustment) != 0)
-        x += (right - left - width) * ((adjustment_value - gtk_adjustment_get_lower (priv->adjustment)) /
+        x = (trough_length - width) * ((adjustment_value - gtk_adjustment_get_lower (priv->adjustment)) /
                                        (gtk_adjustment_get_upper (priv->adjustment) -
                                         gtk_adjustment_get_lower (priv->adjustment) -
                                         gtk_adjustment_get_page_size (priv->adjustment)));
 
-      x = CLAMP (x, left, right);
+      x = CLAMP (x, 0, trough_length);
 
       priv->overlay.x = x;
       priv->overlay.width = width;
@@ -222,52 +212,40 @@
 
   if (priv->orientation == GTK_ORIENTATION_VERTICAL)
     {
-      gint y, bottom, top, height;
-
-      top = priv->trough.y;
-      bottom = priv->trough.y + priv->trough.height;
-
+      gint y, trough_length, height;
+
+      trough_length = priv->trough.height;
       height = priv->slider.height;
 
-      height = MIN (height, priv->trough.height);
-
-      y = top;
-
       if (gtk_adjustment_get_upper (priv->adjustment) -
           gtk_adjustment_get_lower (priv->adjustment) -
           gtk_adjustment_get_page_size (priv->adjustment) != 0)
-        y += (bottom - top - height) * ((adjustment_value - gtk_adjustment_get_lower (priv->adjustment)) /
+        y = (trough_length - height) * ((adjustment_value - gtk_adjustment_get_lower (priv->adjustment)) /
                                         (gtk_adjustment_get_upper (priv->adjustment) -
                                          gtk_adjustment_get_lower (priv->adjustment) -
                                          gtk_adjustment_get_page_size (priv->adjustment)));
 
-      y = CLAMP (y, top, bottom);
+      y = CLAMP (y, 0, trough_length);
 
       priv->slider.y = y;
       priv->slider.height = height;
     }
   else
     {
-      gint x, left, right, width;
-
-      left = priv->trough.x;
-      right = priv->trough.x + priv->trough.width;
-
+      gint x, trough_length, width;
+
+      trough_length = priv->trough.width;
       width = priv->slider.width;
 
-      width = MIN (width, priv->trough.width);
-
-      x = left;
-
       if (gtk_adjustment_get_upper (priv->adjustment) -
           gtk_adjustment_get_lower (priv->adjustment) -
           gtk_adjustment_get_page_size (priv->adjustment) != 0)
-        x += (right - left - width) * ((adjustment_value - gtk_adjustment_get_lower (priv->adjustment)) /
+        x = (trough_length - width) * ((adjustment_value - gtk_adjustment_get_lower (priv->adjustment)) /
                                        (gtk_adjustment_get_upper (priv->adjustment) -
                                         gtk_adjustment_get_lower (priv->adjustment) -
                                         gtk_adjustment_get_page_size (priv->adjustment)));
 
-      x = CLAMP (x, left, right);
+      x = CLAMP (x, 0, trough_length);
 
       priv->slider.x = x;
       priv->slider.width = width;
@@ -333,7 +311,7 @@
   priv = scrollbar->priv;
 
   if (priv->pager != NULL && priv->can_deactivate_pager)
-    os_pager_set_active (OS_PAGER (priv->pager), FALSE, TRUE);
+    os_pager_set_active (priv->pager, FALSE, TRUE);
 }
 
 /* timeout before deactivating the pager */
@@ -365,7 +343,7 @@
   if (priv->can_hide)
     {
       priv->value_changed_event = FALSE;
-      gtk_widget_hide (GTK_WIDGET (priv->thumb));
+      gtk_widget_hide (priv->thumb);
     }
 }
 
@@ -398,7 +376,7 @@
     {
       mask.x = 0;
       mask.y = priv->overlay.y;
-      mask.width = DEFAULT_PAGER_WIDTH;
+      mask.width = priv->pager_all.width;
       mask.height = priv->overlay.height;
     }
   else
@@ -406,10 +384,10 @@
       mask.x = priv->overlay.x;
       mask.y = 0;
       mask.width = priv->overlay.width;
-      mask.height = DEFAULT_PAGER_WIDTH;
+      mask.height = priv->pager_all.height;
     }
 
-  os_pager_move_resize (OS_PAGER (priv->pager), mask);
+  os_pager_move_resize (priv->pager, mask);
 }
 
 /* sanitize x coordinate of thumb window */
@@ -463,7 +441,7 @@
 
   if (priv->orientation == GTK_ORIENTATION_VERTICAL &&
       (n_monitor != gdk_screen_get_monitor_at_point (screen, x - 1 + priv->slider.width, y) ||
-       (x - 1 + priv->slider.width) >= screen_width))
+       x - 1 + priv->slider.width >= screen_width))
     {
       priv->internal = TRUE;
       return MAX (x - priv->slider.width, screen_width - priv->slider.width);
@@ -526,7 +504,7 @@
 
   if (priv->orientation == GTK_ORIENTATION_HORIZONTAL &&
       (n_monitor != gdk_screen_get_monitor_at_point (screen, x, y - 1 + priv->slider.height) ||
-       (y - 1 + priv->slider.height) >= screen_height))
+       y - 1 + priv->slider.height >= screen_height))
     {
       priv->internal = TRUE;
       return MAX (y - priv->slider.height, screen_height - priv->slider.height);
@@ -707,19 +685,19 @@
    * hidden a pager that is meant to be hidden/shown.
    * I don't want to see pagers reappearing because
    * of a change in the adjustment of an invisible pager or viceversa. */
-  if ((gtk_adjustment_get_upper (adjustment) - gtk_adjustment_get_lower (adjustment)) >
+  if (gtk_adjustment_get_upper (adjustment) - gtk_adjustment_get_lower (adjustment) >
       gtk_adjustment_get_page_size (adjustment))
     {
       priv->fullsize = FALSE;
       if (priv->proximity != FALSE)
-        os_pager_show (OS_PAGER (priv->pager));
+        os_pager_show (priv->pager);
     }
   else
     {
       priv->fullsize = TRUE;
       if (priv->proximity != FALSE)
         {
-          os_pager_hide (OS_PAGER (priv->pager));
+          os_pager_hide (priv->pager);
 
           gtk_widget_hide (priv->thumb);
         }
@@ -729,7 +707,7 @@
   calc_layout_slider (scrollbar, gtk_adjustment_get_value (adjustment));
 
   if (!priv->motion_notify_event && !priv->enter_notify_event)
-    gtk_widget_hide (GTK_WIDGET (priv->thumb));
+    gtk_widget_hide (priv->thumb);
 
   move_pager (scrollbar);
 }
@@ -748,20 +726,20 @@
   calc_layout_slider (scrollbar, gtk_adjustment_get_value (adjustment));
 
   if (!priv->motion_notify_event && !priv->enter_notify_event)
-    gtk_widget_hide (GTK_WIDGET (priv->thumb));
+    gtk_widget_hide (priv->thumb);
 
-  if (gtk_widget_get_mapped (GTK_WIDGET (priv->thumb)))
+  if (gtk_widget_get_mapped (priv->thumb))
     {
       /* if we're dragging the thumb, it can't be detached. */
       if (priv->motion_notify_event)
         {
-          os_pager_set_detached (OS_PAGER (priv->pager), FALSE);
+          os_pager_set_detached (priv->pager, FALSE);
           os_thumb_set_detached (OS_THUMB (priv->thumb), FALSE);
         }
       else
         {
           gint x_pos, y_pos;
-          gdk_window_get_origin (gtk_widget_get_window (GTK_WIDGET (priv->thumb)), &x_pos, &y_pos);
+          gdk_window_get_origin (gtk_widget_get_window (priv->thumb), &x_pos, &y_pos);
 
           if (priv->orientation == GTK_ORIENTATION_VERTICAL)
             {
@@ -771,11 +749,11 @@
 
                   mask.x = 0;
                   mask.y = y_pos + priv->slider.height / 2 - priv->win_y;
-                  mask.width = DEFAULT_PAGER_WIDTH;
+                  mask.width = priv->pager_all.width;
                   mask.height = priv->overlay.y - mask.y;
 
-                  os_pager_connect (OS_PAGER (priv->pager), mask);
-                  os_pager_set_detached (OS_PAGER (priv->pager), TRUE);
+                  os_pager_connect (priv->pager, mask);
+                  os_pager_set_detached (priv->pager, TRUE);
 
                   os_thumb_set_detached (OS_THUMB (priv->thumb), TRUE);
                 }
@@ -785,17 +763,17 @@
 
                   mask.x = 0;
                   mask.y = priv->overlay.y + priv->overlay.height;
-                  mask.width = DEFAULT_PAGER_WIDTH;
+                  mask.width = priv->pager_all.width;
                   mask.height = y_pos + priv->slider.height / 2 - priv->win_y - mask.y;
 
-                  os_pager_connect (OS_PAGER (priv->pager), mask);
-                  os_pager_set_detached (OS_PAGER (priv->pager), TRUE);
+                  os_pager_connect (priv->pager, mask);
+                  os_pager_set_detached (priv->pager, TRUE);
 
                   os_thumb_set_detached (OS_THUMB (priv->thumb), TRUE);
                 }
               else 
                 {
-                  os_pager_set_detached (OS_PAGER (priv->pager), FALSE);
+                  os_pager_set_detached (priv->pager, FALSE);
                   os_thumb_set_detached (OS_THUMB (priv->thumb), FALSE);
                 }
             }
@@ -808,10 +786,10 @@
                   mask.x = x_pos + priv->slider.width / 2 - priv->win_x;
                   mask.y = 0;
                   mask.width = priv->overlay.x - mask.x;
-                  mask.height = DEFAULT_PAGER_WIDTH;
+                  mask.height = priv->pager_all.height;
 
-                  os_pager_connect (OS_PAGER (priv->pager), mask);
-                  os_pager_set_detached (OS_PAGER (priv->pager), TRUE);
+                  os_pager_connect (priv->pager, mask);
+                  os_pager_set_detached (priv->pager, TRUE);
 
                   os_thumb_set_detached (OS_THUMB (priv->thumb), TRUE);
                 }
@@ -822,14 +800,14 @@
                   mask.x = priv->overlay.y + priv->overlay.height;
                   mask.y = 0;
                   mask.width = x_pos + priv->slider.width / 2 - priv->win_x - mask.x;
-                  mask.height = DEFAULT_PAGER_WIDTH;
+                  mask.height = priv->pager_all.height;
 
-                  os_pager_connect (OS_PAGER (priv->pager), mask);
-                  os_pager_set_detached (OS_PAGER (priv->pager), TRUE);
+                  os_pager_connect (priv->pager, mask);
+                  os_pager_set_detached (priv->pager, TRUE);
                 }
               else
                 {
-                  os_pager_set_detached (OS_PAGER (priv->pager), FALSE);
+                  os_pager_set_detached (priv->pager, FALSE);
                   os_thumb_set_detached (OS_THUMB (priv->thumb), FALSE);
                 }
             }
@@ -860,12 +838,12 @@
       (y > allocation.y && y < allocation.y + allocation.height))
     {
       priv->can_deactivate_pager = FALSE;
-      os_pager_set_active (OS_PAGER (priv->pager), TRUE, TRUE);
+      os_pager_set_active (priv->pager, TRUE, TRUE);
     }
   else
     {
       priv->can_deactivate_pager = TRUE;
-      os_pager_set_active (OS_PAGER (priv->pager), FALSE, TRUE);
+      os_pager_set_active (priv->pager, FALSE, TRUE);
     }
 }
 
@@ -899,7 +877,7 @@
           priv->active_window = TRUE;
 
           priv->can_deactivate_pager = FALSE;
-          os_pager_set_active (OS_PAGER (priv->pager), TRUE, TRUE);
+          os_pager_set_active (priv->pager, TRUE, TRUE);
         }
       else if (priv->active_window)
         {
@@ -938,7 +916,7 @@
             {
               /* if the pointer is outside of the window, set it inactive. */
               priv->can_deactivate_pager = TRUE;
-              os_pager_set_active (OS_PAGER (priv->pager), FALSE, TRUE);
+              os_pager_set_active (priv->pager, FALSE, TRUE);
             }
 
           if ((current_time > end_time) && priv->thumb != NULL)
@@ -1196,7 +1174,7 @@
 
   /* immediately set the pager to be active. */
   priv->can_deactivate_pager = FALSE;
-  os_pager_set_active (OS_PAGER (priv->pager), TRUE, FALSE);
+  os_pager_set_active (priv->pager, TRUE, FALSE);
 
   xid = GDK_WINDOW_XID (gtk_widget_get_window (widget));
   xid_parent = GDK_WINDOW_XID (gtk_widget_get_window (GTK_WIDGET (scrollbar)));
@@ -1267,7 +1245,6 @@
   gdouble frac;
   gdouble value;
   gint    trough_length;
-  gint    trough_start;
   gint    slider_length;
 
   priv = scrollbar->priv;
@@ -1275,21 +1252,18 @@
   if (priv->orientation == GTK_ORIENTATION_VERTICAL)
     {
       trough_length = priv->trough.height;
-      trough_start  = priv->trough.y;
       slider_length = MAX (priv->slider.height, priv->overlay.height);
     }
   else
     {
       trough_length = priv->trough.width;
-      trough_start  = priv->trough.y;
       slider_length = MAX (priv->slider.width, priv->overlay.width);
     }
 
   if (trough_length == slider_length)
     frac = 1.0;
   else
-    frac = (MAX (0, coord - trough_start) /
-            (gdouble) (trough_length - slider_length));
+    frac = (MAX (0, coord) / (gdouble) (trough_length - slider_length));
 
   value = gtk_adjustment_get_lower (priv->adjustment) + frac * (gtk_adjustment_get_upper (priv->adjustment) -
                                                                 gtk_adjustment_get_lower (priv->adjustment) -
@@ -1357,7 +1331,7 @@
             }
 
           /* FIXME(Cimi) seems useless. */
-          capture_movement (scrollbar, event->x_root, event->y_root);
+//          capture_movement (scrollbar, event->x_root, event->y_root);
           priv->value_changed_event = FALSE;
         }
 
@@ -1379,9 +1353,9 @@
                   priv->slide_initial_slider_position = 0;
                   priv->slide_initial_coordinate = MAX (event->y_root, priv->win_y + priv->pointer_y);
                 }
-              else if (priv->overlay.y + priv->overlay.height >= priv->trough.y + priv->trough.height)
+              else if (priv->overlay.y + priv->overlay.height >= priv->trough.height)
                 {
-                  priv->slide_initial_slider_position = priv->trough.y + priv->trough.height - priv->overlay.height;
+                  priv->slide_initial_slider_position = priv->trough.height - priv->overlay.height;
                   priv->slide_initial_coordinate = MAX (event->y_root, priv->win_y + priv->pointer_y);
                 }
             }
@@ -1405,9 +1379,9 @@
                   priv->slide_initial_slider_position = 0;
                   priv->slide_initial_coordinate = MAX (event->x_root, priv->win_x + priv->pointer_x);
                 }
-              else if (priv->overlay.x + priv->overlay.width >= priv->trough.x + priv->trough.width)
+              else if (priv->overlay.x + priv->overlay.width >= priv->trough.width)
                 {
-                  priv->slide_initial_slider_position = priv->trough.x + priv->trough.width - priv->overlay.width;
+                  priv->slide_initial_slider_position = priv->trough.width - priv->overlay.width;
                   priv->slide_initial_coordinate = MAX (event->x_root, priv->win_x + priv->pointer_x);
                 }
             }
@@ -1482,7 +1456,7 @@
   priv->motion_notify_event = FALSE;
   priv->enter_notify_event = FALSE;
 
-  os_pager_set_detached (OS_PAGER (priv->pager), FALSE);
+  os_pager_set_detached (priv->pager, FALSE);
 }
 
 /* toplevel functions */
@@ -1492,24 +1466,16 @@
 store_toplevel_position (OsScrollbar *scrollbar)
 {
   OsScrollbarPrivate *priv;
-  gint win_x, win_y;
+  gint x_pos, y_pos;
 
   priv = scrollbar->priv;
 
   /* In reality, I'm storing widget's window, not the toplevel.
    * Is that the same with gdk_window_get_origin? */
-  gdk_window_get_origin (gtk_widget_get_window (GTK_WIDGET (scrollbar)), &win_x, &win_y);
+  gdk_window_get_origin (gtk_widget_get_window (GTK_WIDGET (scrollbar)), &x_pos, &y_pos);
 
-  if (priv->orientation == GTK_ORIENTATION_VERTICAL)
-    {
-      priv->win_x = win_x + priv->thumb_all.x;
-      priv->win_y = win_y + priv->thumb_all.y;
-    }
-  else
-    {
-      priv->win_x = win_x + priv->thumb_all.x;
-      priv->win_y = win_y + priv->thumb_all.y;
-    }
+  priv->win_x = x_pos + priv->thumb_all.x;
+  priv->win_y = y_pos + priv->thumb_all.y;
 }
 
 static gboolean
@@ -1560,12 +1526,12 @@
       else
         {
           priv->can_deactivate_pager = FALSE;
-          os_pager_set_active (OS_PAGER (priv->pager), TRUE, TRUE);
+          os_pager_set_active (priv->pager, TRUE, TRUE);
         }
     }
 
   if (current_time > end_time)
-    gtk_widget_hide (GTK_WIDGET (priv->thumb));
+    gtk_widget_hide (priv->thumb);
 
   priv->lock_position = FALSE;
 
@@ -1577,6 +1543,41 @@
   return FALSE;
 }
 
+/* checks if the pointer is in the proximity area. */
+static gboolean
+check_proximity (OsScrollbar *scrollbar,
+                 gint x,
+                 gint y,
+                 OsSide side)
+{
+  OsScrollbarPrivate *priv;
+
+  priv = scrollbar->priv;
+  
+  switch (side)
+  {
+    case OS_SIDE_RIGHT:
+      return (x >= priv->pager_all.x + priv->pager_all.width - PROXIMITY_SIZE &&
+              x <= priv->pager_all.x + priv->pager_all.width) &&
+             (y >= priv->pager_all.y + priv->overlay.y &&
+              y <= priv->pager_all.y + priv->overlay.y + priv->overlay.height);
+      break;
+    case OS_SIDE_BOTTOM:
+      return (y >= priv->pager_all.y + priv->pager_all.height - PROXIMITY_SIZE &&
+              y <= priv->pager_all.y + priv->pager_all.height) &&
+             (x >= priv->pager_all.x + priv->overlay.x &&
+              x <= priv->pager_all.x + priv->overlay.x + priv->overlay.width);
+      break;
+    case OS_SIDE_LEFT:
+    case OS_SIDE_TOP:
+      /* FIXME not implemented yet.
+       * Add support for different scrollbar positions here. */
+      break;
+  }
+
+  return FALSE;
+}
+
 /* filter function applied to the toplevel window */
 #ifdef USE_GTK3
 static GdkFilterReturn
@@ -1591,8 +1592,8 @@
   g_return_val_if_fail (OS_SCROLLBAR (user_data), GDK_FILTER_CONTINUE);
 
   scrollbar = OS_SCROLLBAR (user_data);
-
   priv = scrollbar->priv;
+
   xev = gdkxevent;
 
   g_return_val_if_fail (priv->pager != NULL, GDK_FILTER_CONTINUE);
@@ -1619,10 +1620,7 @@
               /* proximity area */
               if (priv->orientation == GTK_ORIENTATION_VERTICAL)
                 {
-                  if ((priv->overlay_all.x + DEFAULT_PAGER_WIDTH - xiev->event_x <= PROXIMITY_WIDTH &&
-                       priv->overlay_all.x + DEFAULT_PAGER_WIDTH - xiev->event_x >= 0) &&
-                      (xiev->event_y >= priv->overlay_all.y + priv->overlay.y &&
-                       xiev->event_y <= priv->overlay_all.y + priv->overlay.y + priv->overlay.height))
+                  if (check_proximity (scrollbar, xiev->event_x, xiev->event_y, OS_SIDE_RIGHT))
                     {
                       priv->can_hide = FALSE;
 
@@ -1647,15 +1645,12 @@
                           move_thumb (scrollbar, priv->win_x, priv->win_y + priv->slider.y);
                         }
 
-                      gtk_widget_show (GTK_WIDGET (priv->thumb));
+                      gtk_widget_show (priv->thumb);
                     }
                 }
               else
                 {
-                  if ((priv->overlay_all.y + DEFAULT_PAGER_WIDTH - xiev->event_y <= PROXIMITY_WIDTH &&
-                       priv->overlay_all.y + DEFAULT_PAGER_WIDTH - xiev->event_y >= 0) &&
-                      (xiev->event_x >= priv->overlay_all.x + priv->overlay.x &&
-                       xiev->event_x <= priv->overlay_all.x + priv->overlay.x + priv->overlay.width))
+                  if (check_proximity (scrollbar, xiev->event_x, xiev->event_y, OS_SIDE_BOTTOM))
                     {
                       priv->can_hide = FALSE;
 
@@ -1680,7 +1675,7 @@
                           move_thumb (scrollbar, priv->win_x, priv->win_y + priv->slider.y);
                         }
 
-                      gtk_widget_show (GTK_WIDGET (priv->thumb));
+                      gtk_widget_show (priv->thumb);
                     }
                 }
             }
@@ -1746,10 +1741,7 @@
               /* proximity area */
               if (priv->orientation == GTK_ORIENTATION_VERTICAL)
                 {
-                  if ((priv->overlay_all.x + DEFAULT_PAGER_WIDTH - xiev->event_x <= PROXIMITY_WIDTH &&
-                       priv->overlay_all.x + DEFAULT_PAGER_WIDTH - xiev->event_x >= 0) &&
-                      (xiev->event_y >= priv->overlay_all.y + priv->overlay.y &&
-                       xiev->event_y <= priv->overlay_all.y + priv->overlay.y + priv->overlay.height))
+                  if (check_proximity (scrollbar, xiev->event_x, xiev->event_y, OS_SIDE_RIGHT))
                     {
                       priv->can_hide = FALSE;
 
@@ -1774,9 +1766,9 @@
                           move_thumb (scrollbar, priv->win_x, priv->win_y + priv->slider.y);
                         }
 
-                      os_pager_set_detached (OS_PAGER (priv->pager), FALSE);
+                      os_pager_set_detached (priv->pager, FALSE);
                       os_thumb_set_detached (OS_THUMB (priv->thumb), FALSE);
-                      gtk_widget_show (GTK_WIDGET (priv->thumb));
+                      gtk_widget_show (priv->thumb);
                     }
                   else
                     {
@@ -1787,10 +1779,7 @@
                 }
               else
                 {
-                  if ((priv->overlay_all.y + DEFAULT_PAGER_WIDTH - xiev->event_y <= PROXIMITY_WIDTH &&
-                       priv->overlay_all.y + DEFAULT_PAGER_WIDTH - xiev->event_y >= 0) &&
-                      (xiev->event_x >= priv->overlay_all.x + priv->overlay.x &&
-                       xiev->event_x <= priv->overlay_all.x + priv->overlay.x + priv->overlay.width))
+                  if (check_proximity (scrollbar, xiev->event_x, xiev->event_y, OS_SIDE_BOTTOM))
                     {
                       priv->can_hide = FALSE;
 
@@ -1815,9 +1804,9 @@
                           move_thumb (scrollbar, priv->win_x + priv->slider.x, priv->win_y);
                         }
 
-                      os_pager_set_detached (OS_PAGER (priv->pager), FALSE);
+                      os_pager_set_detached (priv->pager, FALSE);
                       os_thumb_set_detached (OS_THUMB (priv->thumb), FALSE);
-                      gtk_widget_show (GTK_WIDGET (priv->thumb));
+                      gtk_widget_show (priv->thumb);
                     }
                   else
                     {
@@ -1845,8 +1834,8 @@
   g_return_val_if_fail (OS_SCROLLBAR (user_data), GDK_FILTER_CONTINUE);
 
   scrollbar = OS_SCROLLBAR (user_data);
-
   priv = scrollbar->priv;
+
   xev = gdkxevent;
 
   g_return_val_if_fail (priv->pager != NULL, GDK_FILTER_CONTINUE);
@@ -1867,10 +1856,7 @@
           /* proximity area */
           if (priv->orientation == GTK_ORIENTATION_VERTICAL)
             {
-              if ((priv->overlay_all.x + DEFAULT_PAGER_WIDTH - xev->xbutton.x <= PROXIMITY_WIDTH &&
-                   priv->overlay_all.x + DEFAULT_PAGER_WIDTH - xev->xbutton.x >= 0) &&
-                  (xev->xbutton.y >= priv->overlay_all.y + priv->overlay.y &&
-                   xev->xbutton.y <= priv->overlay_all.y + priv->overlay.y + priv->overlay.height))
+              if (check_proximity (scrollbar, xev->xbutton.x, xev->xbutton.y, OS_SIDE_RIGHT))
                 {
                   priv->can_hide = FALSE;
 
@@ -1895,15 +1881,12 @@
                       move_thumb (scrollbar, priv->win_x, priv->win_y + priv->slider.y);
                     }
 
-                  gtk_widget_show (GTK_WIDGET (priv->thumb));
+                  gtk_widget_show (priv->thumb);
                 }
             }
           else
             {
-              if ((priv->overlay_all.y + DEFAULT_PAGER_WIDTH - xev->xbutton.y <= PROXIMITY_WIDTH &&
-                   priv->overlay_all.y + DEFAULT_PAGER_WIDTH - xev->xbutton.y >= 0) &&
-                  (xev->xbutton.x >= priv->overlay_all.x + priv->overlay.x &&
-                   xev->xbutton.x <= priv->overlay_all.x + priv->overlay.x + priv->overlay.width))
+              if (check_proximity (scrollbar, xev->xbutton.x, xev->xbutton.y, OS_SIDE_BOTTOM))
                 {
                   priv->can_hide = FALSE;
 
@@ -1928,7 +1911,7 @@
                       move_thumb (scrollbar, priv->win_x, priv->win_y + priv->slider.y);
                     }
 
-                  gtk_widget_show (GTK_WIDGET (priv->thumb));
+                  gtk_widget_show (priv->thumb);
                 }
             }
         }
@@ -1991,10 +1974,7 @@
           /* proximity area */
           if (priv->orientation == GTK_ORIENTATION_VERTICAL)
             {
-              if ((priv->overlay_all.x + DEFAULT_PAGER_WIDTH - xev->xmotion.x <= PROXIMITY_WIDTH &&
-                   priv->overlay_all.x + DEFAULT_PAGER_WIDTH - xev->xmotion.x >= 0) &&
-                  (xev->xmotion.y >= priv->overlay_all.y + priv->overlay.y &&
-                   xev->xmotion.y <= priv->overlay_all.y + priv->overlay.y + priv->overlay.height))
+              if (check_proximity (scrollbar, xev->xmotion.x, xev->xmotion.y, OS_SIDE_RIGHT))
                 {
                   priv->can_hide = FALSE;
 
@@ -2019,9 +1999,9 @@
                       move_thumb (scrollbar, priv->win_x, priv->win_y + priv->slider.y);
                     }
 
-                  os_pager_set_detached (OS_PAGER (priv->pager), FALSE);
+                  os_pager_set_detached (priv->pager, FALSE);
                   os_thumb_set_detached (OS_THUMB (priv->thumb), FALSE);
-                  gtk_widget_show (GTK_WIDGET (priv->thumb));
+                  gtk_widget_show (priv->thumb);
                 }
               else
                 {
@@ -2032,10 +2012,7 @@
             }
           else
             {
-              if ((priv->overlay_all.y + DEFAULT_PAGER_WIDTH - xev->xmotion.y <= PROXIMITY_WIDTH &&
-                   priv->overlay_all.y + DEFAULT_PAGER_WIDTH - xev->xmotion.y >= 0) &&
-                  (xev->xmotion.x >= priv->overlay_all.x + priv->overlay.x &&
-                   xev->xmotion.x <= priv->overlay_all.x + priv->overlay.x + priv->overlay.width))
+              if (check_proximity (scrollbar, xev->xmotion.x, xev->xmotion.y, OS_SIDE_BOTTOM))
                 {
                   priv->can_hide = FALSE;
 
@@ -2060,9 +2037,9 @@
                       move_thumb (scrollbar, priv->win_x + priv->slider.x, priv->win_y);
                     }
 
-                  os_pager_set_detached (OS_PAGER (priv->pager), FALSE);
+                  os_pager_set_detached (priv->pager, FALSE);
                   os_thumb_set_detached (OS_THUMB (priv->thumb), FALSE);
-                  gtk_widget_show (GTK_WIDGET (priv->thumb));
+                  gtk_widget_show (priv->thumb);
                 }
               else
                 {
@@ -2347,11 +2324,11 @@
       /* on map-event of an active window,
        * the pager should be active. */
       priv->can_deactivate_pager = FALSE;
-      os_pager_set_active (OS_PAGER (priv->pager), TRUE, FALSE);
+      os_pager_set_active (priv->pager, TRUE, FALSE);
     }
 
   if (priv->fullsize == FALSE)
-    os_pager_show (OS_PAGER (priv->pager));
+    os_pager_show (priv->pager);
 
   if (gtk_widget_get_realized (widget) && priv->filter == FALSE)
     {
@@ -2388,7 +2365,7 @@
 
   calc_layout_pager (scrollbar, gtk_adjustment_get_value (priv->adjustment));
 
-  os_pager_set_parent (OS_PAGER (priv->pager), widget);
+  os_pager_set_parent (priv->pager, widget);
 
   store_toplevel_position (scrollbar);
 }
@@ -2403,46 +2380,43 @@
 os_scrollbar_size_allocate (GtkWidget    *widget,
                             GdkRectangle *allocation)
 {
-  GdkRectangle rect;
   OsScrollbar *scrollbar;
   OsScrollbarPrivate *priv;
 
   scrollbar = OS_SCROLLBAR (widget);
   priv = scrollbar->priv;
 
-  priv->trough.x = 0;
-  priv->trough.y = 0;
+  priv->trough.x = allocation->x;
+  priv->trough.y = allocation->y;
   priv->trough.width = allocation->width;
   priv->trough.height = allocation->height;
 
-  priv->overlay_all = *allocation;
+  priv->pager_all = *allocation;
   priv->thumb_all = *allocation;
 
   if (priv->orientation == GTK_ORIENTATION_VERTICAL)
     {
-      priv->slider.width = DEFAULT_THUMB_WIDTH;
-      priv->slider.height = DEFAULT_THUMB_HEIGHT;
-      priv->overlay_all.x = allocation->x - DEFAULT_PAGER_WIDTH;
+      priv->slider.width = THUMB_WIDTH;
+      priv->slider.height = THUMB_HEIGHT;
+
+      priv->pager_all.x = allocation->x - PAGER_SIZE;
+      priv->pager_all.width = PAGER_SIZE;
+
       priv->thumb_all.x = allocation->x + THUMB_ALLOCATION_SHIFT;
-
-      rect.x = priv->overlay_all.x;
-      rect.y = priv->overlay_all.y;
-      rect.width = DEFAULT_PAGER_WIDTH;
-      rect.height = priv->overlay_all.height;
+      priv->thumb_all.width = THUMB_WIDTH;
 
       allocation->width = 0;
     }
   else
     {
-      priv->slider.width = DEFAULT_THUMB_HEIGHT;
-      priv->slider.height = DEFAULT_THUMB_WIDTH;
-      priv->overlay_all.y = allocation->y - DEFAULT_PAGER_WIDTH;
+      priv->slider.width = THUMB_HEIGHT;
+      priv->slider.height = THUMB_WIDTH;
+
+      priv->pager_all.y = allocation->y - PAGER_SIZE;
+      priv->pager_all.height = PAGER_SIZE;
+
       priv->thumb_all.y = allocation->y + THUMB_ALLOCATION_SHIFT;
-
-      rect.x = priv->overlay_all.x;
-      rect.y = priv->overlay_all.y;
-      rect.width = priv->overlay_all.width;
-      rect.height = DEFAULT_PAGER_WIDTH;
+      priv->thumb_all.height = THUMB_HEIGHT;
 
       allocation->height = 0;
     }
@@ -2453,7 +2427,7 @@
       calc_layout_slider (scrollbar, gtk_adjustment_get_value (priv->adjustment));
     }
 
-  os_pager_size_allocate (OS_PAGER (priv->pager), rect);
+  os_pager_size_allocate (priv->pager, priv->pager_all);
 
   move_pager (scrollbar);
 
@@ -2496,7 +2470,7 @@
 
   priv->proximity = FALSE;
 
-  os_pager_hide (OS_PAGER (priv->pager));
+  os_pager_hide (priv->pager);
 
   gtk_widget_hide (priv->thumb);
 
@@ -2517,7 +2491,7 @@
   scrollbar = OS_SCROLLBAR (widget);
   priv = scrollbar->priv;
 
-  os_pager_hide (OS_PAGER (priv->pager));
+  os_pager_hide (priv->pager);
 
   gtk_widget_hide (priv->thumb);
 
@@ -2527,7 +2501,7 @@
   g_signal_handlers_disconnect_by_func (G_OBJECT (gtk_widget_get_toplevel (widget)),
                                         G_CALLBACK (toplevel_configure_event_cb), scrollbar);
 
-  os_pager_set_parent (OS_PAGER (priv->pager), NULL);
+  os_pager_set_parent (priv->pager, NULL);
 
   window_group_list = gtk_window_group_list_windows (priv->window_group);
 
 
=== modified file 'os/os-thumb.c'
--- os/os-thumb.c	2011-06-09 11:19:20 +0000
+++ os/os-thumb.c	2011-06-15 13:28:34 +0000
@@ -828,15 +828,9 @@
       {
         priv->orientation = g_value_get_enum (value);
         if (priv->orientation == GTK_ORIENTATION_VERTICAL)
-          {
-            gtk_window_resize (GTK_WINDOW (object), DEFAULT_THUMB_WIDTH,
-                               DEFAULT_THUMB_HEIGHT);
-          }
+          gtk_window_resize (GTK_WINDOW (object), THUMB_WIDTH, THUMB_HEIGHT);
         else
-          {
-            gtk_window_resize (GTK_WINDOW (object), DEFAULT_THUMB_HEIGHT,
-                               DEFAULT_THUMB_WIDTH);
-          }
+          gtk_window_resize (GTK_WINDOW (object), THUMB_HEIGHT, THUMB_WIDTH);
         break;
       }