fix case where pane divider is not redrawn after a leave event.

diff --git a/libs/gtkmm2ext/pane.cc b/libs/gtkmm2ext/pane.cc
index ae3dab4e905762cd5bfd9e9b43dde3dc7ebcb2f6..ce99cc3d972cbbc783ae6e029cc5bf30c1a7b194 100644 (file)
--- a/libs/gtkmm2ext/pane.cc
+++ b/libs/gtkmm2ext/pane.cc
@@ -497,5 +497,6 @@ Pane::handle_leave_event (GdkEventCrossing*, Divider* d)
 {
        d->get_window()->set_cursor ();
        d->set_state (Gtk::STATE_NORMAL);
+       d->queue_draw ();
        return true;
 }