GTK3-3.14: remove hack to avoid scrolled menus, no more needed