GTK3: Using gtk_widget_destroy() instead of gtk_notebook_remove_page().