diff options
author | Paul Davis <paul@linuxaudiosystems.com> | 2016-07-19 23:31:30 -0400 |
---|---|---|
committer | Paul Davis <paul@linuxaudiosystems.com> | 2016-07-20 10:48:07 -0400 |
commit | 81211a91b1e6ffd77dd31676ffe65c4456aafdd7 (patch) | |
tree | d9978952b994e01d3c5c857fbdec3fc7e0cde4ff | |
parent | 82d3afb85161e0746c2136251eced5d7046225ca (diff) |
minor safety fix for the Pane
-rw-r--r-- | libs/gtkmm2ext/pane.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libs/gtkmm2ext/pane.cc b/libs/gtkmm2ext/pane.cc index 3eda140c57..e6b067522e 100644 --- a/libs/gtkmm2ext/pane.cc +++ b/libs/gtkmm2ext/pane.cc @@ -363,7 +363,7 @@ Pane::handle_release_event (GdkEventButton* ev, Divider* d) { d->dragging = false; - if (did_move) { + if (did_move && !children.empty()) { children.front().w->queue_resize (); did_move = false; } |