From ca97569c5590aa3018c2ff63ee7b8e40cbece05a Mon Sep 17 00:00:00 2001
From: Robin Gareus <robin@gareus.org>
Date: Sat, 30 Aug 2014 20:58:03 +0200
Subject: [PATCH] disconnect pixfader style-change signal in dtor (amend
 5a688b672)

---
 libs/gtkmm2ext/pixfader.cc | 1 +
 1 file changed, 1 insertion(+)

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