done_hotlist     1453 src/filemanager/hotlist.c             done_hotlist ();
done_hotlist       30 src/filemanager/hotlist.h void done_hotlist (void);
done_hotlist     1051 src/setup.c        done_hotlist ();