get_other_panel    21 src/filemanager/filemanager.h #define other_panel get_other_panel()
get_other_panel    76 src/filemanager/layout.h WPanel *get_other_panel (void);