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 ();