cleanup_widget_value_tree  588 src/pgtkmenu.c cleanup_widget_value_tree (void *arg)
cleanup_widget_value_tree 1886 src/xmenu.c    cleanup_widget_value_tree (void *arg)