save_hotlist     1487 src/filemanager/hotlist.c         result = save_hotlist ();
save_hotlist     1647 src/filemanager/hotlist.c     save_hotlist ();
save_hotlist       27 src/filemanager/hotlist.h gboolean save_hotlist (void);
save_hotlist     1195 src/setup.c        save_hotlist ();