no signals when paned handles dragged

[Skip Montanaro <skip pobox com>]

I bumped up against this problem a couple weeks ago, posted a note about it
on the pygtk list, but got no useful workaround suggestions, then ignored it
for awhile.  Now I'm back to it.

There appears to be no useful signal emitted when a GtkPaned widget's handle
is moved using the mouse.  The move-handle signal seems like the perfect
candidate, but the pygtk docs indicate it's only emitted when the handle is
moved using a variety of keys (The GTK reference manual is silent on the
conditions for the emission of the move-handle signal.  This seems like a
documentation bug to me.)

Quoting from:

    http://www.moeraki.com/pygtkreference/pygtk2reference/class-gtkpaned.html

we find:

    The "move-handle" signal is emitted when paned has the focus and one of
    the following key combinations is pressed to move the separator:

    Left Arrow
    Right Arrow
    Up Arrow
    Down Arrow
    Page Up
    Page Down
    Home
    End

Is there a way to be notified when the handle is moved using the mouse?

Thanks,

-- 
Skip Montanaro
Got spam? http://www.spambayes.org/
skip pobox com