gtkxpaned: Fix bug introduced in earlier commit.
authorBen Pfaff <blp@cs.stanford.edu>
Wed, 31 Jul 2013 05:17:33 +0000 (22:17 -0700)
committerBen Pfaff <blp@cs.stanford.edu>
Wed, 31 Jul 2013 05:18:55 +0000 (22:18 -0700)
commit4a05980bb56d3e7db228133b807e553bc70f8a29
tree22607a682088b804ddf2762840aa307311924846
parent7bf0c4d57ce0da1ad3fe082a01716808eaef09a5
gtkxpaned: Fix bug introduced in earlier commit.

Commit 7bf0c4d57ce (gtkxpaned: Avoid deprecated gtk_widget_get_pointer().)
essentially replaced gtk_widget_get_pointer() by its implementation in
GTK+3, but it left out a part of the implementation that I didn't think
was needed.  Without that part, though, dragging most of the handles fails
to properly track the mouse pointer.  This commit fixes the problem.
lib/gtk-contrib/gtkxpaned.c