13
0

minor safety fix for the Pane

This commit is contained in:
Paul Davis 2016-07-19 23:31:30 -04:00
parent 82d3afb851
commit 81211a91b1

View File

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