Comment 5 for bug 117478

I see that a different fix has been applied in current Trunk. No more need for my patch it seems. I love the toggle button.