*** old/gtk/gtkmenu.c	2013-12-25 17:33:04.507546036 +0530
--- new/gtk/gtkmenu.c	2013-12-25 17:31:43.245801956 +0530
***************
*** 133,138 ****
--- 133,140 ----
  #define MENU_POPUP_DELAY     225
  #define MENU_POPDOWN_DELAY  1000
  
+ #define DEFAULT_POPUP_DISPLACEMENT 1
+ 
  #define ATTACH_INFO_KEY "gtk-menu-child-attach-info-key"
  #define ATTACHED_MENUS "gtk-attached-menus"
  
*************** gtk_menu_position (GtkMenu  *menu,
*** 4534,4545 ****
                (!rtl && needed_width >  space_right))
              {
                /* position left */
!               x = x + padding.left - requisition.width + 1;
              }
            else
              {
                /* position right */
!               x = x - padding.right;
              }
  
            /* x is clamped on-screen further down */
--- 4536,4547 ----
                (!rtl && needed_width >  space_right))
              {
                /* position left */
!               x = x + padding.left - requisition.width - DEFAULT_POPUP_DISPLACEMENT; 
              }
            else
              {
                /* position right */
!               x = x - padding.right + DEFAULT_POPUP_DISPLACEMENT;
              }
  
            /* x is clamped on-screen further down */
