The replacement, gtk_widget_set_visible(), is available since 2.18. There is some code duplication in menu.c that could eventually be unified.