hot_save_group 1555 src/filemanager/hotlist.c hot_save_group (current); hot_save_group 1691 src/filemanager/hotlist.c hot_save_group (hotlist);