panel_display_t   752 src/filemanager/layout.c panel_update_cols (Widget *widget, panel_display_t frame_size)
panel_display_t    58 src/filemanager/layout.h void panel_update_cols (Widget * widget, panel_display_t frame_size);
panel_display_t  1688 src/filemanager/panel.c     panel_display_t frame = frame_half;
panel_display_t    86 src/filemanager/panel.h     panel_display_t frame_size; /* half or full frame */