Go go go Gtk!

Christoph

/*
#### Well, I want to destroy these widgets, but if I do that, they get referenced again, and eventually I get a SEGV. So instead of destroying them, I’ll just hide them, and leak a bunch of memory every time the disk file changes. Go go go Gtk!

#### Ok, that’s a lie, I get a crash even if I just hide the widget and don’t ever delete it. F*ck!
*/