our_panel         155 src/filemanager/hotlist.c static WPanel *our_panel;
our_panel         413 src/filemanager/hotlist.c         add2hotlist_cmd (our_panel);
our_panel         417 src/filemanager/hotlist.c         add_new_entry_cmd (our_panel);
our_panel        1607 src/filemanager/hotlist.c     our_panel = panel;
our_panel        1638 src/filemanager/hotlist.c     our_panel = panel;