13
0

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

This commit is contained in:
Paul Davis 2016-06-01 22:30:17 -04:00
parent d680c1f1db
commit a047d814f6

View File

@ -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;
}