our_panel 156 src/filemanager/hotlist.c static WPanel *our_panel; our_panel 412 src/filemanager/hotlist.c add2hotlist_cmd (our_panel); our_panel 416 src/filemanager/hotlist.c add_new_entry_cmd (our_panel); our_panel 1605 src/filemanager/hotlist.c our_panel = panel; our_panel 1635 src/filemanager/hotlist.c our_panel = panel;