mirror of
https://github.com/gryf/wmaker.git
synced 2025-12-19 20:38:08 +01:00
Fixed a crashing bug
This commit is contained in:
@@ -1255,6 +1255,8 @@ wDockDestroy(WDock *dock)
|
|||||||
free(dock->icon_array);
|
free(dock->icon_array);
|
||||||
if (dock->menu && dock->type!=WM_CLIP)
|
if (dock->menu && dock->type!=WM_CLIP)
|
||||||
wMenuDestroy(dock->menu, True);
|
wMenuDestroy(dock->menu, True);
|
||||||
|
if (dock->screen_ptr->last_dock == dock)
|
||||||
|
dock->screen_ptr->last_dock = NULL;
|
||||||
free(dock);
|
free(dock);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user