diff options
| author | Robin Gareus <robin@gareus.org> | 2014-08-30 20:58:03 +0200 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2014-08-30 20:58:03 +0200 |
| commit | ca97569c5590aa3018c2ff63ee7b8e40cbece05a (patch) | |
| tree | 647d7abda56cd4b9ec915877e0867d8dbdeeb600 /libs/gtkmm2ext/pixfader.cc | |
| parent | dfbc9da79aef9cc05808d29a20c6d12c5d553a80 (diff) | |
disconnect pixfader style-change signal in dtor (amend 5a688b672)
Diffstat (limited to 'libs/gtkmm2ext/pixfader.cc')
| -rw-r--r-- | libs/gtkmm2ext/pixfader.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libs/gtkmm2ext/pixfader.cc b/libs/gtkmm2ext/pixfader.cc index 90dd60322d..d7a64f8f37 100644 --- a/libs/gtkmm2ext/pixfader.cc +++ b/libs/gtkmm2ext/pixfader.cc @@ -68,6 +68,7 @@ PixFader::PixFader (Gtk::Adjustment& adj, int orientation, int fader_length, int PixFader::~PixFader () { + if (_parent_style_change) _parent_style_change.disconnect(); } bool |