diff options
author | Paul Davis <paul@linuxaudiosystems.com> | 2016-06-01 22:30:17 -0400 |
---|---|---|
committer | Paul Davis <paul@linuxaudiosystems.com> | 2016-06-01 22:30:17 -0400 |
commit | a047d814f6218c6d197723614037ddca11d36d72 (patch) | |
tree | 63f0a16a94d7842d2b40fec0e7cf5d531610fee4 /libs/gtkmm2ext | |
parent | d680c1f1dbd28fba3b5a8f04fe7fcbe7cdf88f18 (diff) |
fix case where pane divider is not redrawn after a leave event.
Diffstat (limited to 'libs/gtkmm2ext')
-rw-r--r-- | libs/gtkmm2ext/pane.cc | 1 |
1 files changed, 1 insertions, 0 deletions
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; } |