index eb7265b2d269171bdb3f4c4b027f3c44033ac088..1988865d10c98b88221d875eb5292d5b1c6ba92b 100644 (file)
--- a/src/document-subset.cpp
+++ b/src/document-subset.cpp
/* remove obj's record */
_doRemove(obj);
}
-
+
changed_signal.emit();
}