save_hotlist     1493 src/filemanager/hotlist.c         result = save_hotlist ();
save_hotlist     1659 src/filemanager/hotlist.c     save_hotlist ();
save_hotlist       29 src/filemanager/hotlist.h gboolean save_hotlist (void);
save_hotlist      981 src/setup.c        save_hotlist ();