From 8800cd0b6755e305811f77689b185a70eccac617 Mon Sep 17 00:00:00 2001 From: dan Date: Fri, 3 Dec 1999 02:59:30 +0000 Subject: [PATCH] Fixed a crashing bug --- src/dock.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/dock.c b/src/dock.c index dd31ccaa..102a5980 100644 --- a/src/dock.c +++ b/src/dock.c @@ -1255,6 +1255,8 @@ wDockDestroy(WDock *dock) free(dock->icon_array); if (dock->menu && dock->type!=WM_CLIP) wMenuDestroy(dock->menu, True); + if (dock->screen_ptr->last_dock == dock) + dock->screen_ptr->last_dock = NULL; free(dock); }