1 files changed, 1 insertions, 4 deletions
diff --git a/gtk/gui.c b/gtk/gui.c
index 95e503af2..7a8c32186 100644
--- a/gtk/gui.c
+++ b/gtk/gui.c
@@ -533,10 +533,7 @@ static void gui_quit(void)
 	LOG(("Quitting GUI"));
 
 	/* Ensure all scaffoldings are destroyed before we go into exit */
-	while (scaf_list != NULL) {
-		nsgtk_scaffolding_destroy(scaf_list);
-	}
-
+	nsgtk_scaffolding_destroy();
 	nsgtk_download_destroy();
 	urldb_save_cookies(nsoption_charp(cookie_jar));
 	urldb_save(nsoption_charp(url_file));