taskbar_cfg_destroy 88 uspace/app/taskbar-cfg/main.c taskbar_cfg_destroy(tbcfg); taskbar_cfg_destroy 44 uspace/app/taskbar-cfg/taskbar-cfg.h extern void taskbar_cfg_destroy(taskbar_cfg_t *);