save_hotlist     1488 src/filemanager/hotlist.c         result = save_hotlist ();
save_hotlist     1654 src/filemanager/hotlist.c     save_hotlist ();
save_hotlist       29 src/filemanager/hotlist.h gboolean save_hotlist (void);
save_hotlist      979 src/setup.c        save_hotlist ();