From a047d814f6218c6d197723614037ddca11d36d72 Mon Sep 17 00:00:00 2001
From: Paul Davis <paul@linuxaudiosystems.com>
Date: Wed, 1 Jun 2016 22:30:17 -0400
Subject: [PATCH] fix case where pane divider is not redrawn after a leave
 event.

---
 libs/gtkmm2ext/pane.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/libs/gtkmm2ext/pane.cc b/libs/gtkmm2ext/pane.cc
index ae3dab4e90..ce99cc3d97 100644
--- 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;
 }