hide_all has been deprecated in GTK+3, we should use gtk_widget_hide instead
Created attachment 71260 [details] proposed patch
Comment on attachment 71260 [details] proposed patch r=me
Committed r70133: <http://trac.webkit.org/changeset/70133>