range: Use gtk_widget_pick() to pick the mouse location
authorBenjamin Otte <otte@redhat.com>
Sun, 5 Nov 2017 03:22:02 +0000 (04:22 +0100)
committerBenjamin Otte <otte@redhat.com>
Sun, 5 Nov 2017 04:13:17 +0000 (05:13 +0100)
commit4bb9a6360fcf4a26b66e9a67ea580482c85ec66e
tree1ebf29b57569f8124df448d5778659304f426664
parent994287b71fc208d9b810f15ef7fd6dfa6364737a
range: Use gtk_widget_pick() to pick the mouse location

That's rather unsuccessful so far because it requires skipping a bunch
of irrelevant widgets, but oh well...
gtk/gtkrange.c