This bug was fixed in the package ido - 13.10.0+13.10.20131031-0ubuntu1
--------------- ido (13.10.0+13.10.20131031-0ubuntu1) saucy; urgency=low
[ Lars Uebernickel ] * idoscalemenuitem: disconnect signal from parent This fixes a crash: the widget installed a handler for the parent's hide signal, but was destroyed before the parent without disconnecting the signal. (LP: #1246536)
[ Ubuntu daily release ] * Automatic snapshot from revision 154 -- Ubuntu daily release <email address hidden> Thu, 31 Oct 2013 21:39:29 +0000
This bug was fixed in the package ido - 13.10.0+ 13.10.20131031- 0ubuntu1
--------------- 0+13.10. 20131031- 0ubuntu1) saucy; urgency=low
ido (13.10.
[ Lars Uebernickel ]
* idoscalemenuitem: disconnect signal from parent This fixes a crash:
the widget installed a handler for the parent's hide signal, but was
destroyed before the parent without disconnecting the signal. (LP:
#1246536)
[ Ubuntu daily release ]
* Automatic snapshot from revision 154
-- Ubuntu daily release <email address hidden> Thu, 31 Oct 2013 21:39:29 +0000