save_hotlist     1481 src/filemanager/hotlist.c         result = save_hotlist ();
save_hotlist     1648 src/filemanager/hotlist.c     save_hotlist ();
save_hotlist       29 src/filemanager/hotlist.h gboolean save_hotlist (void);
save_hotlist      992 src/setup.c        save_hotlist ();