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.

diff --git a/src/label.c b/src/label.c
index 1a7e1b6d8d4c39de4f367320fdd34b8ef418caa6..48df06a43511380a274981455801baa85cb328a1 100644 (file)
--- 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");
 }