preGTK4: from show/hide to set_visible(true|false)
GTK4 removes show() and hide(), saying to use set_visible() instead. GTK3 already has the latter, so start using it now to be GTK4-proof. And remove our unnecessary widget_show(w, bool) that just does the same.