From 81211a91b1e6ffd77dd31676ffe65c4456aafdd7 Mon Sep 17 00:00:00 2001 From: Paul Davis Date: Tue, 19 Jul 2016 23:31:30 -0400 Subject: [PATCH] minor safety fix for the Pane --- libs/gtkmm2ext/pane.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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; }