improvement: disconnect GDK event filter on destroy