save_hotlist     1480 src/filemanager/hotlist.c         result = save_hotlist ();
save_hotlist     1646 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 ();