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