From 36de4c460e0106357bf34919e4c085fbb00047f6 Mon Sep 17 00:00:00 2001
From: Jim Evins <evins@snaught.com>
Date: Sun, 23 Jun 2013 18:59:34 -0400
Subject: [PATCH] Emit selection_changed after delete_selection

Emit selection_changed signal after a delete_selection.  Fixes bug where object
editor remained active after an object was deleted.
---
 src/label.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/label.c b/src/label.c
index 1a7e1b6d..48df06a4 100644
--- a/src/label.c
+++ b/src/label.c
@@ -1230,6 +1230,8 @@ gl_label_delete_selection (glLabel       *label)
 
         end_selection_op (label);
 
+	g_signal_emit (G_OBJECT(label), signals[SELECTION_CHANGED], 0);
+
 	gl_debug (DEBUG_LABEL, "END");
 }
 
-- 
2.39.5