done_hotlist     1459 src/filemanager/hotlist.c             done_hotlist ();
done_hotlist       28 src/filemanager/hotlist.h void done_hotlist (void);
done_hotlist     1271 src/setup.c        done_hotlist ();