our_panel         155 src/filemanager/hotlist.c static WPanel *our_panel;
our_panel         420 src/filemanager/hotlist.c         add2hotlist_cmd (our_panel);
our_panel         424 src/filemanager/hotlist.c         add_new_entry_cmd (our_panel);
our_panel        1615 src/filemanager/hotlist.c     our_panel = panel;
our_panel        1646 src/filemanager/hotlist.c     our_panel = panel;