diff src/gui_gtk_x11.c @ 150:e85cff741dec

updated for version 7.0046
author vimboss
date Mon, 31 Jan 2005 19:23:41 +0000
parents 18f29039b83c
children 7fd70926e2e1
line wrap: on
line diff
--- a/src/gui_gtk_x11.c
+++ b/src/gui_gtk_x11.c
@@ -2194,7 +2194,7 @@ write_session_file(char_u *filename)
     do_cmdline_cmd((char_u *)"let Save_VV_this_session = v:this_session");
     failed = (do_cmdline_cmd((char_u *)mksession_cmdline) == FAIL);
     do_cmdline_cmd((char_u *)"let v:this_session = Save_VV_this_session");
-    do_unlet((char_u *)"Save_VV_this_session");
+    do_unlet((char_u *)"Save_VV_this_session", TRUE);
 
     ssop_flags = save_ssop_flags;
     g_free(mksession_cmdline);