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