panel_display_t   754 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  1687 src/filemanager/panel.c     panel_display_t frame = frame_half;
panel_display_t    87 src/filemanager/panel.h     panel_display_t frame_size; /* half or full frame */