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