added gtk_info_popup_get_position_in_overlay() and workaround size allocation issue

 * this is a callback for GtkOverlay's "get-child-position" signal
   that allocates a size to the popup.
 * cleaner than overwriting the size_allocate method and does not
   assume apriori that the popup is part of an overlay.
 * the popup was always allocated a few pixels too little height,
   resulting the GtkViewbox always scrolling.
   Actually it requests a few pixels too little.
   We now workaround that by adding a constant value to its
   natural height when allocating a position in the overlay.
   This is of course a non-portable hack.

0 files changed, 0 insertions, 0 deletions