psppire-data-sheet: Disconnect clipboard owner-change signal on dispose.
authorBen Pfaff <blp@cs.stanford.edu>
Mon, 6 May 2013 04:39:16 +0000 (21:39 -0700)
committerBen Pfaff <blp@cs.stanford.edu>
Mon, 6 May 2013 04:39:16 +0000 (21:39 -0700)
commit8ceafd2d6c622fdf627013cbe634127f8e172328
tree126ee416049314c97c37c5693937a684905c9b65
parent6f6aa0636750420181e03451bd1338f7f5123abd
psppire-data-sheet: Disconnect clipboard owner-change signal on dispose.

Otherwise, any clipboard change in ownership (e.g. clicking on some cells
and typing Control+C), even after a given PsppireDataSheet closes, still
calls into on_owner_change() and commits a use-after-free error.

Reported by John Darrington.
src/ui/gui/psppire-data-sheet.c
src/ui/gui/psppire-data-sheet.h