-
Cosimo Cecchi authored
This doesn't currently work perfectly if the overlay child is a GtkTreeView - more investigation is needed. In the meanwhile, it's still better than not hiding the bar ever, so here it is. https://bugzilla.gnome.org/show_bug.cgi?id=648740
e239f2a1