add2hotlist_cmd  1144 src/filemanager/filemanager.c         add2hotlist_cmd (current_panel);
add2hotlist_cmd   412 src/filemanager/hotlist.c         add2hotlist_cmd (our_panel);
add2hotlist_cmd    27 src/filemanager/hotlist.h void add2hotlist_cmd (WPanel *panel);